João Alexandre Baptista Vieira Saraiva


AuthID: R-000-6R4

Confirmed Publications: 169



161
TITLE: Workshop on Language Descriptions, Tools and Applications, LDTA@ETAPS 2003, Warsaw, Poland, April 12-13, 2003
AUTHORS: Barrett R Bryant; João Saraiva ;
PUBLISHED: 2003, SOURCE: LDTA@ETAPS, VOLUME: 82, ISSUE: 3
INDEXED IN: DBLP
IN MY: DBLP
162
TITLE: Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
AUTHORS: Gilles Barthe ; Peter Dybjer; Luis Pinto; João Saraiva ;
PUBLISHED: 2002, SOURCE: APPSEM, VOLUME: 2395
INDEXED IN: DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
163
TITLE: Component-based programming for higher-order attribute grammars PDF
AUTHORS: Saraiva, J ;
PUBLISHED: 2002, SOURCE: 1st International Conference on Generative Programming and Component Engineering in GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING, PROCEEDINGS, VOLUME: 2487
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | DBLP | CIÊNCIAVITAE
164
TITLE: Preface
AUTHORS: Barthe, G; Dybjer, P; Pinto, L ; Saraiva, J ;
PUBLISHED: 2002, SOURCE: International Summer School on Applied Semantics, APPSEM 2000 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2395 LNCS
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
165
TITLE: Functional incremental attribute evaluation
AUTHORS: Saraiva, J ; Swierstra, D; Kuiper, M;
PUBLISHED: 2000, SOURCE: Joint European Conference on Theory and Practice of Software (ETAPS 2000) in COMPILER CONSTRUCTION, PROCEEDINGS, VOLUME: 1781
INDEXED IN: Scopus WOS DBLP CrossRef: 10
IN MY: ORCID | DBLP | CIÊNCIAVITAE
166
TITLE: Data structure free compilation  Full Text
AUTHORS: Saraiva, J ; Swierstra, D;
PUBLISHED: 1999, SOURCE: Joint European Conference on Theory and Practice of Software (ETAPS 99) in COMPILER CONSTRUCTION, VOLUME: 1575
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP | CIÊNCIAVITAE
167
TITLE: Designing and implementing combinator languages  Full Text
AUTHORS: Swierstra, SD; Alcocer, PRA; Saraiva, J ;
PUBLISHED: 1999, SOURCE: 3rd International School on Advanced Functional Programming (AFP 98) in ADVANCED FUNCTIONAL PROGRAMMING, VOLUME: 1608
INDEXED IN: WOS DBLP CrossRef: 38
IN MY: ORCID | DBLP | CIÊNCIAVITAE
168
TITLE: Lrc - A generator for incremental language-oriented tools  Full Text
AUTHORS: Kuiper, M; Saraiva, J ;
PUBLISHED: 1998, SOURCE: 7th International Conference on Compiler Construction (CC 98) at the Joint European Conferences on Theory and Practice of Software (ETAPS 98) in COMPILER CONSTRUCTION, VOLUME: 1383
INDEXED IN: Scopus WOS DBLP CrossRef: 20
IN MY: ORCID | DBLP | CIÊNCIAVITAE
169
TITLE: Concurrent attribute evaluation  Full Text
AUTHORS: Saraiva, J ; Henriques, P ;
PUBLISHED: 1995, SOURCE: 1st International Meeting on Vector and Parallel Processing (VecPar 93) in COMPUTING SYSTEMS IN ENGINEERING, VOLUME: 6, ISSUE: 4-5
INDEXED IN: Scopus WOS CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
Page 17 of 17. Total results: 169.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service