Hugo Pacheco
Title
Cited by
Cited by
Year
Jasmin: High-assurance and high-speed cryptography
JB Almeida, M Barbosa, G Barthe, A Blot, B Grégoire, V Laporte, ...
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
742017
Bidirectional transformation of model-driven spreadsheets
J Cunha, JP Fernandes, J Mendes, H Pacheco, J Saraiva
International Conference on Theory and Practice of Model Transformations …, 2012
662012
Coupled schema transformation and data conversion for XML and SQL
P Berdaguer, A Cunha, H Pacheco, J Visser
International Symposium on Practical Aspects of Declarative Languages, 290-304, 2007
422007
Monadic Combinators for “Putback” Style Bidirectional Programming
H Pacheco, Z Hu, S Fischer
ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation …, 2014
402014
Generic point-free lenses
H Pacheco, A Cunha
International Conference on Mathematics of Program Construction, 331-352, 2010
402010
The essence of bidirectional programming
S Fischer, Z Hu, H Pacheco
Science China Information Sciences 58 (5), 1-21, 2015
37*2015
BiFluX: A bidirectional functional update language for XML
H Pacheco, T Zan, Z Hu
Proceedings of the 16th International Symposium on Principles and Practice …, 2014
332014
Delta lenses over inductive types
H Pacheco, A Cunha, Z Hu
Electronic Communications of the European Association of Software Science …, 2012
262012
Towards a Framework for Multidirectional Model Transformations
N Macedo, A Cunha, H Pacheco
232014
Validity checking of putback transformations in bidirectional programming
Z Hu, H Pacheco, S Fischer
International Symposium on Formal Methods, 1-15, 2014
202014
Mapping between alloy specifications and database implementations
A Cunha, H Pacheco
2009 Seventh IEEE International Conference on Software Engineering and …, 2009
192009
A clear picture of lens laws
S Fischer, Z Hu, H Pacheco
Mathematics of Program Construction, 2015
162015
Composing Least-change Lenses
N Macedo, H Pacheco, A Cunha, JN Oliveira
Proc. BX 2, 18, 2013
132013
Calculating with lenses: optimising bidirectional transformations
H Pacheco, A Cunha
Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and …, 2011
132011
Writing bidirectional model transformations as intentional updates
T Zan, H Pacheco, Z Hu
Companion Proceedings of the 36th International Conference on Software …, 2014
112014
Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas
H Pacheco, A Cunha
5th International Conference on Model Transformation (ICMT 2012), 2012
112012
Relations as executable specifications: taming partiality and non-determinism using invariants
N Macedo, H Pacheco, A Cunha
International Conference on Relational and Algebraic Methods in Computer …, 2012
92012
Bidirectional spreadsheet formulas
N Macedo, H Pacheco, NR Sousa, A Cunha
Visual Languages and Human-Centric Computing (VL/HCC), 2014 IEEE Symposium …, 2014
82014
Bidirectional Data Transformation by Calculation
H Pacheco
Universidade do Minho, 2012
82012
Algebraic specialization of generic functions for recursive types
A Cunha, H Pacheco
Electronic Notes in Theoretical Computer Science 229 (5), 57-74, 2011
82011
The system can't perform the operation now. Try again later.
Articles 1–20