Search the dblp DataBase

Publications of Author

1. S. Doaitse Swierstra, Pablo R. Azero Alcocer, João Saraiva
   Designing and Implementing Combinator Languages. [Citation Graph (0, 0)][DBLP]
   Advanced Functional Programming, 1998, pp:150-206 [Conf]
   
2. Matthijs F. Kuiper, João Saraiva
   Lrc - A Generator for Incremental Language-Oriented Tools. [Citation Graph (0, 0)][DBLP]
   CC, 1998, pp:298-301 [Conf]
   
3. João Saraiva, S. Doaitse Swierstra, Matthijs F. Kuiper
   Functional Incremental Attribute Evaluation. [Citation Graph (0, 0)][DBLP]
   CC, 2000, pp:279-294 [Conf]
   
4. João Saraiva, S. Doaitse Swierstra
   Data Structure Free Compilation. [Citation Graph (0, 0)][DBLP]
   CC, 1999, pp:1-16 [Conf]
   
5. J. C. Silva, José Creissac Campos, João Saraiva
   Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications. [Citation Graph (0, 0)][DBLP]
   DSV-IS, 2006, pp:137-150 [Conf]
   
6. João Saraiva
   Component-Based Programming for Higher-Order Attribute Grammars. [Citation Graph (0, 0)][DBLP]
   GPCE, 2002, pp:268-282 [Conf]
   
7. João Saraiva, S. Doaitse Swierstra
   Generating Spreadsheet-Like Tools from Strong Attribute Grammars. [Citation Graph (0, 0)][DBLP]
   GPCE, 2003, pp:307-323 [Conf]
   
8. João Saraiva, Sérgio Schneider
   Embedding Domain Specific Languages in the Attribute Grammar Formalism. [Citation Graph (0, 0)][DBLP]
   HICSS, 2003, pp:324- [Conf]
   
9. João Paulo Fernandes, João Saraiva
   Tools and libraries to model and manipulate circular programs. [Citation Graph (0, 0)][DBLP]
   PEPM, 2007, pp:102-111 [Conf]
   
10. Barrett R. Bryant, João Saraiva
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:3, pp:- [Journal]
    
11. João Paulo Fernandes, Alberto Pardo, João Saraiva
    A shortcut fusion rule for circular program calculation. [Citation Graph (0, 0)][DBLP]
    Haskell, 2007, pp:95-106 [Conf]
    
12. Barrett R. Bryant, João Saraiva
    Report on selected papers from LDTA 2003. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2007, v:68, n:1, pp:1- [Journal]
    
13. 
    The Objects and Arrows of Computational Design. [Citation Graph (, )][DBLP]
    
    
14. 
    Shortcut fusion rules for the derivation of circular and higher-order monadic programs. [Citation Graph (, )][DBLP]
    
    
15. 
    From spreadsheets to relational databases and back. [Citation Graph (, )][DBLP]
    
    
16. 
    A generic library for GUI reasoning and testing. [Citation Graph (, )][DBLP]
    
    
17. 
    Discovery-based edit assistance for spreadsheets. [Citation Graph (, )][DBLP]
    
    
18. 
    The GUISurfer tool: towards a language independent approach to reverse engineering GUI code. [Citation Graph (, )][DBLP]