João Saraiva - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 27 from 27

2011

End-Users Productivity in Model-Based Spreadsheets: An Empirical StudyLaura Beckwith, Jácome Cunha, João Paulo Fernandes, João Saraiva. iseud 2011: 282-288 [doi]

Generative and Transformational Techniques in Software Engineering III - International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised PapersJoao M. Fernandes, Ralf Lämmel, Joost Visser, João Saraiva, editors, Volume 6491 of Lecture Notes in Computer Science, Springer, 2011. [doi]

Strictification of circular programsJoão Paulo Fernandes, João Saraiva, Daniel Seidel, Janis Voigtländer. PEPM 2011: 131-140 [doi]

2010

2009

2008

The Objects and Arrows of Computational DesignDon S. Batory, Maider Azanza, João Saraiva. MoDELS 2008: 1-20 [doi]

Generative and Transformational Techniques in Software Engineering II, International Summer School, GTTSE 2007Ralf Lämmel, Joost Visser, João Saraiva, editors, Volume 5235 of Lecture Notes in Computer Science, Springer, Braga, Portugal, July 2008.

2007

Report on selected papers from LDTA 2003Barrett R. Bryant, João Saraiva. SCP, 68(1):1, 2007. [doi]

A shortcut fusion rule for circular program calculationJoão Paulo Fernandes, Alberto Pardo, João Saraiva. haskell 2007: 95-106 [doi]

Tools and libraries to model and manipulate circular programsJoão Paulo Fernandes, João Saraiva. PEPM 2007: 102-111 [doi]

2006

Generative and Transformational Techniques in Software Engineering, International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised PapersRalf Lämmel, João Saraiva, Joost Visser, editors, Volume 4143 of Lecture Notes in Computer Science, Springer, 2006.

Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive ApplicationsJoão Carlos Silva, José Creissac Campos, João Saraiva. DSVIS 2007: 137-150 [doi]

2003

PrefaceBarrett R. Bryant, João Saraiva. ENTCS, 82(3):461-462, 2003. [doi]

Embedding Domain Specific Languages in the Attribute Grammar FormalismJoão Saraiva, Sérgio Schneider. hicss 2003: 324 [doi]

Generating Spreadsheet-Like Tools from Strong Attribute GrammarsJoão Saraiva, S. Doaitse Swierstra. GPCE 2003: 307-323 [doi]

2002

Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced LecturesGilles Barthe, Peter Dybjer, Luis Pinto, João Saraiva, editors, Volume 2395 of Lecture Notes in Computer Science, Springer, 2002.

Component-Based Programming for Higher-Order Attribute GrammarsJoão Saraiva. GPCE 2002: 268-282 [doi]

2000

Functional Incremental Attribute EvaluationJoão Saraiva, S. Doaitse Swierstra, Matthijs F. Kuiper. cc 2000: 279-294 [doi]

1999

Purely Functional Implementation of Attribute GrammarsJoão Saraiva. PhD thesis, Department of Computer Science, Utrecht University, The Netherlands, December 1999.

Data Structure Free CompilationJoão Saraiva, S. Doaitse Swierstra. cc 1999: 1-16

1998

Lrc - A Generator for Incremental Language-Oriented ToolsMatthijs F. Kuiper, João Saraiva. CC 1998: 298-301

Designing and Implementing Combinator LanguagesS. Doaitse Swierstra, Pablo R. Azero Alcocer, João Saraiva. afp 1998: 150-206

Sign in or sign up to see more results.

runs on WebDSL