31
TITLE: Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas
AUTHORS: Hugo Pacheco ; Alcino Cunha ;
PUBLISHED: 2012, SOURCE: 5th International Conference on Theory and Practice of Model Transformations, ICMT 2012 in Theory and Practice of Model Transformations - 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings, VOLUME: 7307
INDEXED IN: Scopus DBLP CrossRef: 4
32
TITLE: Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants
AUTHORS: Nuno Macedo ; Hugo Pacheco ; Alcino Cunha ;
PUBLISHED: 2012, SOURCE: 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2012 in Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings, VOLUME: 7560
INDEXED IN: Scopus DBLP CrossRef: 2
33
TITLE: Algebraic Specialization of Generic Functions for Recursive Types
AUTHORS: Alcino Cunha ; Hugo Pacheco ;
PUBLISHED: 2011, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 229, ISSUE: 5
INDEXED IN: Scopus DBLP CrossRef
34
TITLE: Calculating with lenses: optimising bidirectional transformations. optimising bidirectional transformations
AUTHORS: Hugo Pacheco ; Alcino Cunha ;
PUBLISHED: 2011, SOURCE: 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM'11 in Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2011, Austin, TX, USA, January 24-25, 2011
INDEXED IN: Scopus DBLP CrossRef: 5
35
TITLE: Generic Point-free Lenses
AUTHORS: Hugo Pacheco ; Alcino Cunha ;
PUBLISHED: 2010, SOURCE: 10th International Conference on Mathematics of Program Construction in MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, VOLUME: 6120
INDEXED IN: Scopus WOS DBLP CrossRef: 9
36
TITLE: Mapping between Alloy specifications and database implementations
AUTHORS: Alcino Cunha ; Hugo Pacheco ;
PUBLISHED: 2009, SOURCE: 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009) in SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS
INDEXED IN: Scopus WOS DBLP CrossRef: 9
37
TITLE: Coupled schema transformation and data conversion for XML and SQL  Full Text
AUTHORS: Pablo Berdaguer; Alcino Cunha ; Hugo Pacheco ; Joost Visser;
PUBLISHED: 2007, SOURCE: 9th International Symposium on Practical Aspects of Declarative Languages in Practical Aspects of Declarative Languages, VOLUME: 4354
INDEXED IN: Scopus WOS DBLP CrossRef: 15
Page 4 of 4. Total results: 37.