Author of the publication

A Framework for Point-Free Program Transformation.

, , and . IFL, volume 4015 of Lecture Notes in Computer Science, page 1-18. Springer, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Coupled Schema Transformation and Data Conversion for XML and SQL., , , and . PADL, volume 4354 of Lecture Notes in Computer Science, page 290-304. Springer, (2007)Experiences on Teaching Alloy with an Automated Assessment Platform., , , , , , , and . ABZ, volume 12071 of Lecture Notes in Computer Science, page 61-77. Springer, (2020)Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum., and . ABZ, volume 10817 of Lecture Notes in Computer Science, page 307-321. Springer, (2018)Implementing QVT-R Bidirectional Model Transformations Using Alloy., and . FASE, volume 7793 of Lecture Notes in Computer Science, page 297-311. Springer, (2013)Verification of system-wide safety properties of ROS applications., , , and . IROS, page 7249-7254. IEEE, (2020)Pardinus: A Temporal Relational Model Finder., , , and . J. Autom. Reason., 66 (4): 861-904 (2022)Resource Allocation on Agent Meta-Societies., and . EPIA, volume 1323 of Lecture Notes in Computer Science, page 343-348. Springer, (1997)Alloy Repair Hint Generation Based on Historical Data., , , , and . FM (2), volume 14934 of Lecture Notes in Computer Science, page 104-121. Springer, (2024)Quantitative relational modelling with QAlloy., , , and . ESEC/SIGSOFT FSE, page 885-896. ACM, (2022)Transformation of structure-shy programs: applied to XPath queries and strategic functions., and . PEPM, page 11-20. ACM, (2007)