Browsing by Author Hugo Pereira Pacheco

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 14 of 14
Issue DateTitleAuthor(s)
2014Bidirectional spreadsheet formulasNuno Moreira Macedo; Hugo Pereira Pacheco; Sousa,NR; Alcino Cunha
2014BiFluX: A Bidirectional Functional Update Language for XMLHugo Pereira Pacheco; Zan,T; Hu,Z
2015A Clear Picture of Lens Laws - Functional PearlFischer,S; Hu,Z; Hugo Pereira Pacheco
2013Composing Least-change LensesNuno Moreira Macedo; Hugo Pereira Pacheco; Alcino Cunha; Oliveira,JN
2018Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworksHugo Pereira Pacheco; Bernardo Luís Portela; Vítor Parreira Pereira; José Bacelar Almeida; Manuel Barbosa; Barthe,G; 5647; 5604; 5598; 6374; 6060
2015The essence of bidirectional programmingFischer,S; Hu,Z; Hugo Pereira Pacheco
2013A Generic Scheme and Properties of Bidirectional TransformationsHugo Pereira Pacheco; Nuno Moreira Macedo; Alcino Cunha; Voigtländer,Janis
2017Jasmin: High-Assurance and High-Speed CryptographyJosé Bacelar Almeida; Manuel Barbosa; Barthe,G; Blot,A; Grégoire,B; Laporte,V; Oliveira,T; Hugo Pereira Pacheco; Schmidt,B; Strub,PY
2014Monadic combinators for "Putback" style bidirectional programmingHugo Pereira Pacheco; Hu,Z; Fischer,S
2012Relations as executable specifications: taming partiality and non-determinism using invariantsAlcino Cunha; Nuno Moreira Macedo; Hugo Pereira Pacheco
2016A Tool-Chain for High-Assurance Cryptographic SoftwareJosé Bacelar Almeida; Manuel Barbosa; Hugo Pereira Pacheco; Pereira,V
2014Towards a framework for multidirectional model transformationsNuno Moreira Macedo; Alcino Cunha; Hugo Pereira Pacheco
2014Validity Checking of Putback Transformations in Bidirectional ProgrammingHu,Z; Hugo Pereira Pacheco; Fischer,S
2014Writing bidirectional model transformations as intentional updatesZan,T; Hugo Pereira Pacheco; Hu,Z