João Alexandre Baptista Vieira Saraiva


AuthID: R-000-6R4

Confirmed Publications: 169



151
TITLE: Selected papers from SBLP 2007: The 11th Brazilian Symposium on Programming Languages J.UCS special issue
AUTHORS: Bigonha, RS; Musicante, MA; Pardo, A; Garcia, A; Martini, A; Moreira, AF; De Melo, ACV; Du Bois, AR; Santos, A; Camarao, C; Rubira, C; Braga, C; Naumann, D; Haeusler, EH; De Carvalho Junior, FH; Cafezeiro, I; Palsberg, J; Jeuring, J; Saraiva, J ; Guimaraes, J; Labra, J; Fiadeiro, JL; Figueiredo, L; Barbosa, LS ; Menezes, LC; Maia, M; De Valente, MTO; Bigonha, MAS; Benton, N; Rodriguez, N; Borba, P; Mosses, PD; Lins, RD; Cerqueira, R; Lima, RM; Ierusalimschy, R; Rigo, S; De Schneider, SM; Soares, S; Dascalu, S; Thompson, S; Vene, V; Costa, V ; Iorio, VD; ...More
PUBLISHED: 2007, SOURCE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 13, ISSUE: 6
INDEXED IN: Scopus WOS
IN MY: ORCID | CIÊNCIAVITAE
152
TITLE: Tools and libraries to model and manipulate circular programs  Full Text
AUTHORS: Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2007, SOURCE: 2007 ACM SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation in Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation
INDEXED IN: Scopus DBLP CrossRef: 13
IN MY: ORCID | DBLP | CIÊNCIAVITAE
153
TITLE: XIS-UML Profile for eXtreme Modeling Interactive Systems
AUTHORS: Alberto Rodrigues da Silva ; João de Sousa Saraiva ; Rui Silva; Carlos Martins;
PUBLISHED: 2007, SOURCE: 4th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2007 in Model-based Methodologies for Pervasive and Embedded Software, 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2007, Braga, Portugal, March 31, 2007, Proceedings
INDEXED IN: Scopus DBLP CrossRef: 14
IN MY: ORCID | CIÊNCIAVITAE
154
TITLE: Lecture Note in Computer Science (including subseries Lecture Note in Artificial Intelligence and Lecture Note in Bioinformatics): Preface
AUTHORS: Lammel, R; Saraiva, J ; Visser, J;
PUBLISHED: 2006, SOURCE: Generative and Transformational Techniques in Software Engineering - International Summer School, GTTSE 2005 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4143 LNCS
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
155
TITLE: Editorial: Programming languages track
AUTHORS: Jo, CH; Mernik, M; Bryant, BR; Ancona, M; Auguston, M; Cheung, SC; Debray, SK; Doh, KG; Gabbrielli, M; Harris, T; Heering, J; Jeffery, C; Johnstone, A; Leung, HF; Lins, RD; Logozzo, F; Martinez Lopez, PE; Meijer, E; Michaelson, G; Pareja Flores, C; Saraiva, J ; Sloane, T; Wile, D; Winkler, J; ...More
PUBLISHED: 2005, SOURCE: 20th Annual ACM Symposium on Applied Computing in Proceedings of the ACM Symposium on Applied Computing, VOLUME: 2
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
156
TITLE: Electronic Notes in Theoretical Computer Science: Preface
AUTHORS: Bryant, B; Saraiva, J ;
PUBLISHED: 2003, SOURCE: LDTA'2003 - Language Descriptions, Tools and Applications in Electronic Notes in Theoretical Computer Science, VOLUME: 82, ISSUE: 3
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
157
TITLE: Embedding Domain Specific Languages in the Attribute Grammar Formalism
AUTHORS: João Saraiva ; Sérgio Schneider;
PUBLISHED: 2003, SOURCE: 36th Annual Hawaii International Conference on System Sciences, HICSS 2003 in 36th Hawaii International Conference on System Sciences (HICSS-36 2003), CD-ROM / Abstracts Proceedings, January 6-9, 2003, Big Island, HI, USA
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
158
TITLE: Generating spreadsheet-like tools from strong attribute grammars
AUTHORS: Saraiva, J ; Swierstra, D;
PUBLISHED: 2003, SOURCE: 2nd International Conference on Generative Programming and Component Engineering in GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING, PROCEEDINGS, VOLUME: 2830
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | DBLP | CIÊNCIAVITAE
159
TITLE: Preface
AUTHORS: Barrett Bryant; João Saraiva ;
PUBLISHED: 2003, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 82, ISSUE: 3
INDEXED IN: CrossRef
IN MY: ORCID | CIÊNCIAVITAE
160
TITLE: Preface
AUTHORS: Barrett R Bryant; João Saraiva ;
PUBLISHED: 2003, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 82, ISSUE: 3
INDEXED IN: DBLP
IN MY: DBLP
Page 16 of 17. Total results: 169.

footer slogan

Useful Links

Get Help

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