Hugo Pacheco - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Hugo Pacheco' as author, editor, or advisor:

BiFluX: A Bidirectional Functional Update Language for XMLHugo Pacheco, Tao Zan, Zhenjiang Hu. ppdp 2014: 147-158 [doi]
Algebraic Specialization of Generic Functions for Recursive TypesAlcino Cunha, Hugo Pacheco. ENTCS, 229(5):57-74, 2011. [doi]
A Clear Picture of Lens Laws - Functional PearlSebastian Fischer, Zhenjiang Hu, Hugo Pacheco. mpc 2015: 215-223 [doi]
Bidirectional spreadsheet formulasNuno Macedo, Hugo Pacheco, Nuno Rocha Sousa, Alcino Cunha. vl 2014: 161-168 [doi]
A Tool-Chain for High-Assurance Cryptographic SoftwareJosé Bacelar Almeida, Manuel Barbosa, Hugo Pacheco, Vitor Pereira. ercim, 2016(106), 2016. [doi]
Generic Point-free LensesHugo Pacheco, Alcino Cunha. mpc 2010: 331-352 [doi]
Calculating with lenses: optimising bidirectional transformationsHugo Pacheco, Alcino Cunha. PEPM 2011: 91-100 [doi]
Relations as Executable Specifications: Taming Partiality and Non-determinism Using InvariantsNuno Macedo, Hugo Pacheco, Alcino Cunha. RelMiCS 2012: 146-161 [doi]
Bidirectional Transformation of Model-Driven SpreadsheetsJácome Cunha, João Paulo Fernandes, Jorge Mendes, Hugo Pacheco, João Saraiva. ICMT 2012: 105-120 [doi]
Multifocal: A Strategic Bidirectional Transformation Language for XML SchemasHugo Pacheco, Alcino Cunha. ICMT 2012: 89-104 [doi]
Jasmin: High-Assurance and High-Speed CryptographyJosé Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Arthur Blot, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, Hugo Pacheco, Benedikt Schmidt, Pierre-Yves Strub. ccs 2017: 1807-1823 [doi]
Validity Checking of Putback Transformations in Bidirectional ProgrammingZhenjiang Hu, Hugo Pacheco, Sebastian Fischer. FM 2014: 1-15 [doi]
Towards a Framework for Multidirectional Model TransformationsNuno Macedo, Alcino Cunha, Hugo Pacheco. edbt 2014: 71-74 [doi]
Delta Lenses over Inductive TypesHugo Pacheco, Alcino Cunha, Zhenjiang Hu. eceasst, 49, 2012. [doi]
Mapping between Alloy Specifications and Database ImplementationsAlcino Cunha, Hugo Pacheco. SEFM 2009: 285-294 [doi]
Composing Least-change LensesNuno Macedo, Hugo Pacheco, Alcino Cunha, José Nuno Oliveira. eceasst, 57, 2013. [doi]
Monadic combinators for "Putback" style bidirectional programmingHugo Pacheco, Zhenjiang Hu, Sebastian Fischer. PEPM 2014: 39-50 [doi]
The essence of bidirectional programmingSebastian Fischer, Zhenjiang Hu, Hugo Pacheco. chinaf, 58(5):1-21, 2015. [doi]
Writing bidirectional model transformations as intentional updatesTao Zan, Hugo Pacheco, Zhenjiang Hu. ICSE 2014: 488-491 [doi]

runs on WebDSL