Pedro Miguel Ribeiro Martins


AuthID: R-001-SCD

Publicações Confirmadas: 16



1
TÍTULO: Embedding attribute grammars and their extensions using functional zippers  Full Text
AUTORES: Pedro Martins ; Joao Paulo Fernandes ; Joao Saraiva ; Eric Van Wyk; Anthony Sloane;
PUBLICAÇÃO: 2016, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 132
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
2
TÍTULO: Memoized Zipper-Based Attribute Grammars
AUTORES: Joao Paulo Fernandes ; Pedro Martins ; Alberto Pardo; Joao Saraiva ; Marcos Viera;
PUBLICAÇÃO: 2016, FONTE: 20th Brazilian Symposium on Programing Languages (SBLP) in PROGRAMMING LANGUAGES (SBLP 2016), VOLUME: 9889
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
3
TÍTULO: Parsing and Reflective Printing, Bidirectionally
AUTORES: Zirun R Zhu; Yongzhe Z Zhang; Hsiang Shang Ko; Pedro Martins ; Joao Saraiva ; Zhenjiang J Hu;
PUBLICAÇÃO: 2016, FONTE: 9th ACM SIGPLAN International Conference on Software Language Engineering (SLE) in PROCEEDINGS OF THE 2016 ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING (SLE'16)
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
4
TÍTULO: Zipper-Based Modular and Deforested Computations
AUTORES: Pedro Martins ; Joao Paulo Fernandes ; Joao Saraiva ;
PUBLICAÇÃO: 2015, FONTE: 5th Central European Functional Programming School (CEFP) in Central European Functional Programming School, CEFP 2013, VOLUME: 8606
INDEXADO EM: Scopus WOS DBLP CrossRef
5
TÍTULO: A Visual DSL for the Certification of Open Source Software
AUTORES: Tiago Carcao; Pedro Martins ;
PUBLICAÇÃO: 2014, FONTE: 14th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2014, PT V, VOLUME: 8583, NÚMERO: PART 5
INDEXADO EM: Scopus WOS CrossRef
6
TÍTULO: FaultySheet Detective: When Smells Meet Fault Localization  Full Text
AUTORES: Rui Abreu ; Jacome Cunha ; Joao Paulo Fernandes ; Pedro Martins ; Alexandre Perez ; Joao Saraiva ;
PUBLICAÇÃO: 2014, FONTE: 30th IEEE International Conference on Software Maintenance and Evolution (ICSME) in 2014 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME)
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
7
TÍTULO: Generating attribute grammar-based bidirectional transformations from rewrite rules
AUTORES: Martins, P ; Saraiva, J ; Fernandes, JP ; Van Wyk, E;
PUBLICAÇÃO: 2014, FONTE: ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2014 - Co-located with POPL 2014 in PEPM 2014 - Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2014
INDEXADO EM: Scopus DBLP CrossRef: 3
8
TÍTULO: Refactoring meets Model-Driven Spreadsheet Evolution
AUTORES: Jacome Cunha ; Joao Paulo Fernandes ; Pedro Martins ; Rui Pereira ; Joao Saraiva ;
PUBLICAÇÃO: 2014, FONTE: 9th International Conference on the Quality of Information and Communications Technology (QUATIC) in 2014 9TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC)
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
9
TÍTULO: Refactoring Smelly Spreadsheet Models
AUTORES: Pedro Martins ; Rui Pereira ;
PUBLICAÇÃO: 2014, FONTE: 14th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2014, PT V, VOLUME: 8583, NÚMERO: PART 5
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
10
TÍTULO: Smelling Faults in Spreadsheets  Full Text
AUTORES: Rui Abreu ; Jacome Cunha ; Joao Paulo Fernandes ; Pedro Martins ; Alexandre Perez ; Joao Saraiva ;
PUBLICAÇÃO: 2014, FONTE: 30th IEEE International Conference on Software Maintenance and Evolution (ICSME) in 2014 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME)
INDEXADO EM: Scopus WOS DBLP CrossRef: 24
Página 1 de 2. Total de resultados: 16.

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

Links Úteis

Ajuda

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