João Alexandre Baptista Vieira Saraiva


AuthID: R-000-6R4

Publicações Confirmadas: 169



161
TÍTULO: Workshop on Language Descriptions, Tools and Applications, LDTA@ETAPS 2003, Warsaw, Poland, April 12-13, 2003
AUTORES: Barrett R Bryant; João Saraiva ;
PUBLICAÇÃO: 2003, FONTE: LDTA@ETAPS, VOLUME: 82, NÚMERO: 3
INDEXADO EM: DBLP
NO MEU: DBLP
162
TÍTULO: Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
AUTORES: Gilles Barthe ; Peter Dybjer; Luis Pinto; João Saraiva ;
PUBLICAÇÃO: 2002, FONTE: APPSEM, VOLUME: 2395
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
163
TÍTULO: Component-based programming for higher-order attribute grammars PDF
AUTORES: Saraiva, J ;
PUBLICAÇÃO: 2002, FONTE: 1st International Conference on Generative Programming and Component Engineering in GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING, PROCEEDINGS, VOLUME: 2487
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
164
TÍTULO: Preface
AUTORES: Barthe, G; Dybjer, P; Pinto, L ; Saraiva, J ;
PUBLICAÇÃO: 2002, FONTE: 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
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
165
TÍTULO: Functional incremental attribute evaluation
AUTORES: Saraiva, J ; Swierstra, D; Kuiper, M;
PUBLICAÇÃO: 2000, FONTE: Joint European Conference on Theory and Practice of Software (ETAPS 2000) in COMPILER CONSTRUCTION, PROCEEDINGS, VOLUME: 1781
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
166
TÍTULO: Data structure free compilation  Full Text
AUTORES: Saraiva, J ; Swierstra, D;
PUBLICAÇÃO: 1999, FONTE: Joint European Conference on Theory and Practice of Software (ETAPS 99) in COMPILER CONSTRUCTION, VOLUME: 1575
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
167
TÍTULO: Designing and implementing combinator languages  Full Text
AUTORES: Swierstra, SD; Alcocer, PRA; Saraiva, J ;
PUBLICAÇÃO: 1999, FONTE: 3rd International School on Advanced Functional Programming (AFP 98) in ADVANCED FUNCTIONAL PROGRAMMING, VOLUME: 1608
INDEXADO EM: WOS DBLP CrossRef: 38
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
168
TÍTULO: Lrc - A generator for incremental language-oriented tools  Full Text
AUTORES: Kuiper, M; Saraiva, J ;
PUBLICAÇÃO: 1998, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef: 20
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
169
TÍTULO: Concurrent attribute evaluation  Full Text
AUTORES: Saraiva, J ; Henriques, P ;
PUBLICAÇÃO: 1995, FONTE: 1st International Meeting on Vector and Parallel Processing (VecPar 93) in COMPUTING SYSTEMS IN ENGINEERING, VOLUME: 6, NÚMERO: 4-5
INDEXADO EM: Scopus WOS CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
Página 17 de 17. Total de resultados: 169.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service