João Saraiva - researchr alias

researchr

You are not signed in
Sign in
Sign up

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]

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

2010

The GUISurfer tool: towards a language independent approach to reverse engineering GUI codeJoão Carlos Silva 0002, Carlos C. Silva, Rui D. Gonçalo, João Saraiva, José Creissac Campos. EICS 2010: 181-186 [doi]

GUI Inspection from Source Code AnalysisJoão Carlos Silva 0002, José Creissac Campos, João Saraiva. eceasst, 33, 2010. [doi]

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]

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

A shortcut fusion rule for circular program calculationJoão Paulo Fernandes, Alberto Pardo, João Saraiva. haskell 2007: 95-106 [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), 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