Pedro Miguel Ribeiro Martins


AuthID: R-001-SCD

Confirmed Publications: 16



1
TITLE: Embedding attribute grammars and their extensions using functional zippers  Full Text
AUTHORS: Pedro Martins ; Joao Paulo Fernandes ; Joao Saraiva ; Eric Van Wyk; Anthony Sloane;
PUBLISHED: 2016, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 132
INDEXED IN: Scopus WOS DBLP CrossRef: 4
2
TITLE: Memoized Zipper-Based Attribute Grammars
AUTHORS: Joao Paulo Fernandes ; Pedro Martins ; Alberto Pardo; Joao Saraiva ; Marcos Viera;
PUBLISHED: 2016, SOURCE: 20th Brazilian Symposium on Programing Languages (SBLP) in PROGRAMMING LANGUAGES (SBLP 2016), VOLUME: 9889
INDEXED IN: Scopus WOS DBLP CrossRef: 1
3
TITLE: Parsing and Reflective Printing, Bidirectionally
AUTHORS: Zirun R Zhu; Yongzhe Z Zhang; Hsiang Shang Ko; Pedro Martins ; Joao Saraiva ; Zhenjiang J Hu;
PUBLISHED: 2016, SOURCE: 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)
INDEXED IN: Scopus WOS DBLP CrossRef: 7
4
TITLE: Zipper-Based Modular and Deforested Computations
AUTHORS: Pedro Martins ; Joao Paulo Fernandes ; Joao Saraiva ;
PUBLISHED: 2015, SOURCE: 5th Central European Functional Programming School (CEFP) in Central European Functional Programming School, CEFP 2013, VOLUME: 8606
INDEXED IN: Scopus WOS DBLP CrossRef
5
TITLE: A Visual DSL for the Certification of Open Source Software
AUTHORS: Tiago Carcao; Pedro Martins ;
PUBLISHED: 2014, SOURCE: 14th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2014, PT V, VOLUME: 8583, ISSUE: PART 5
INDEXED IN: Scopus WOS CrossRef
6
TITLE: FaultySheet Detective: When Smells Meet Fault Localization  Full Text
AUTHORS: Rui Abreu ; Jacome Cunha ; Joao Paulo Fernandes ; Pedro Martins ; Alexandre Perez ; Joao Saraiva ;
PUBLISHED: 2014, SOURCE: 30th IEEE International Conference on Software Maintenance and Evolution (ICSME) in 2014 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME)
INDEXED IN: Scopus WOS DBLP CrossRef: 6
7
TITLE: Generating attribute grammar-based bidirectional transformations from rewrite rules
AUTHORS: Martins, P ; Saraiva, J ; Fernandes, JP ; Van Wyk, E;
PUBLISHED: 2014, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 3
8
TITLE: Refactoring meets Model-Driven Spreadsheet Evolution
AUTHORS: Jacome Cunha ; Joao Paulo Fernandes ; Pedro Martins ; Rui Pereira ; Joao Saraiva ;
PUBLISHED: 2014, SOURCE: 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)
INDEXED IN: Scopus WOS DBLP CrossRef: 2
9
TITLE: Refactoring Smelly Spreadsheet Models
AUTHORS: Pedro Martins ; Rui Pereira ;
PUBLISHED: 2014, SOURCE: 14th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2014, PT V, VOLUME: 8583, ISSUE: PART 5
INDEXED IN: Scopus WOS DBLP CrossRef: 1
10
TITLE: Smelling Faults in Spreadsheets  Full Text
AUTHORS: Rui Abreu ; Jacome Cunha ; Joao Paulo Fernandes ; Pedro Martins ; Alexandre Perez ; Joao Saraiva ;
PUBLISHED: 2014, SOURCE: 30th IEEE International Conference on Software Maintenance and Evolution (ICSME) in 2014 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME)
INDEXED IN: Scopus WOS DBLP CrossRef: 24
Page 1 of 2. Total results: 16.

A place for researchers and their institutions

Useful Links

Get Help

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