| 2009 |
|---|
| 19 | EE | Jácome Cunha,
João Saraiva,
Joost Visser:
From spreadsheets to relational databases and back.
PEPM 2009: 179-188 |
| 18 | EE | Alberto Pardo,
João Paulo Fernandes,
João Saraiva:
Shortcut fusion rules for the derivation of circular and higher-order monadic programs.
PEPM 2009: 81-90 |
| 17 | EE | João Carlos Silva,
João Saraiva,
José Creissac Campos:
A generic library for GUI reasoning and testing.
SAC 2009: 121-128 |
| 2008 |
|---|
| 16 | | Ralf Lämmel,
Joost Visser,
João Saraiva:
Generative and Transformational Techniques in Software Engineering II, International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers
Springer 2008 |
| 15 | EE | Don S. Batory,
Maider Azanza,
João Saraiva:
The Objects and Arrows of Computational Design.
MoDELS 2008: 1-20 |
| 2007 |
|---|
| 14 | EE | João Paulo Fernandes,
Alberto Pardo,
João Saraiva:
A shortcut fusion rule for circular program calculation.
Haskell 2007: 95-106 |
| 13 | EE | João Paulo Fernandes,
João Saraiva:
Tools and libraries to model and manipulate circular programs.
PEPM 2007: 102-111 |
| 12 | EE | Barrett R. Bryant,
João Saraiva:
Report on selected papers from LDTA 2003.
Sci. Comput. Program. 68(1): 1 (2007) |
| 2006 |
|---|
| 11 | | Ralf Lämmel,
João Saraiva,
Joost Visser:
Generative and Transformational Techniques in Software Engineering, International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers
Springer 2006 |
| 10 | EE | João Carlos Silva,
José Creissac Campos,
João Saraiva:
Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications.
DSV-IS 2006: 137-150 |
| 2003 |
|---|
| 9 | EE | João Saraiva,
S. Doaitse Swierstra:
Generating Spreadsheet-Like Tools from Strong Attribute Grammars.
GPCE 2003: 307-323 |
| 8 | EE | João Saraiva,
Sérgio Schneider:
Embedding Domain Specific Languages in the Attribute Grammar Formalism.
HICSS 2003: 324 |
| 7 | EE | Barrett R. Bryant,
João Saraiva:
Preface.
Electr. Notes Theor. Comput. Sci. 82(3): (2003) |
| 2002 |
|---|
| 6 | | Gilles Barthe,
Peter Dybjer,
Luis Pinto,
João Saraiva:
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Springer 2002 |
| 5 | EE | João Saraiva:
Component-Based Programming for Higher-Order Attribute Grammars.
GPCE 2002: 268-282 |
| 2000 |
|---|
| 4 | EE | João Saraiva,
S. Doaitse Swierstra,
Matthijs F. Kuiper:
Functional Incremental Attribute Evaluation.
CC 2000: 279-294 |
| 1999 |
|---|
| 3 | | João Saraiva,
S. Doaitse Swierstra:
Data Structure Free Compilation.
CC 1999: 1-16 |
| 1998 |
|---|
| 2 | | S. Doaitse Swierstra,
Pablo R. Azero Alcocer,
João Saraiva:
Designing and Implementing Combinator Languages.
Advanced Functional Programming 1998: 150-206 |
| 1 | | Matthijs F. Kuiper,
João Saraiva:
Lrc - A Generator for Incremental Language-Oriented Tools.
CC 1998: 298-301 |
