Manuel Alcino Pereira da Cunha


AuthID: R-000-A05

Publicações Confirmadas: 87



71
TÍTULO: Generic Point-free Lenses
AUTORES: Hugo Pacheco ; Alcino Cunha ;
PUBLICAÇÃO: 2010, FONTE: 10th International Conference on Mathematics of Program Construction in MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, VOLUME: 6120
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
NO MEU: ORCID | DBLP
72
TÍTULO: Mapping between Alloy specifications and database implementations
AUTORES: Alcino Cunha ; Hugo Pacheco ;
PUBLICAÇÃO: 2009, FONTE: 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009) in SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
NO MEU: ORCID | DBLP
73
TÍTULO: Coupled schema transformation and data conversion for XML and SQL  Full Text
AUTORES: Pablo Berdaguer; Alcino Cunha ; Hugo Pacheco ; Joost Visser;
PUBLICAÇÃO: 2007, FONTE: 9th International Symposium on Practical Aspects of Declarative Languages in Practical Aspects of Declarative Languages, VOLUME: 4354
INDEXADO EM: Scopus WOS DBLP CrossRef: 15
NO MEU: ORCID | DBLP
74
TÍTULO: Strongly Typed Rewriting For Coupled Software Transformation
AUTORES: Alcino Cunha ; Joost Visser;
PUBLICAÇÃO: 2007, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 174, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef: 12
NO MEU: ORCID | DBLP
75
TÍTULO: Transformation of structure-shy programs: applied to XPath queries and strategic functions. applied to XPath queries and strategic functions
AUTORES: Alcino Cunha ; Joost Visser;
PUBLICAÇÃO: 2007, FONTE: 2007 ACM SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation in Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007, Nice, France, January 15-16, 2007
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID | DBLP
76
TÍTULO: A framework for point-free program transformation  Full Text
AUTORES: Alcino Cunha ; Jorge Sousa Pinto ; Jose Proenca ;
PUBLICAÇÃO: 2006, FONTE: 17th International Workshop on Implementation and Application of Functional Languages (IFL 2005) in IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, VOLUME: 4015
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: ORCID | DBLP
77
TÍTULO: Type-safe two-level data transformation
AUTORES: Alcino Cunha ; Jose Nuno Oliveira ; Joost Visser;
PUBLICAÇÃO: 2006, FONTE: 14th International Symposium on Formal Methods in FM 2006: FORMAL METHODS, PROCEEDINGS, VOLUME: 4085
INDEXADO EM: Scopus WOS DBLP CrossRef: 18
NO MEU: ORCID | DBLP
78
TÍTULO: Point-free program calculation
AUTORES: Alcino Cunha ;
PUBLICAÇÃO: 2005
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
79
TÍTULO: Point-free program transformation  Full Text
AUTORES: Cunha, A ; Pinto, JS ;
PUBLICAÇÃO: 2005, FONTE: FUNDAMENTA INFORMATICAE, VOLUME: 66, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | DBLP
80
TÍTULO: Recursion patterns and time-analysis
AUTORES: Barbosa, A ; Cunha, A ; Pinto, JS ;
PUBLICAÇÃO: 2005, FONTE: ACM SIGPLAN NOTICES, VOLUME: 40, NÚMERO: 5
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
Página 8 de 9. Total de resultados: 87.

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