Autor der Publikation

A Framework for Point-Free Program Transformation.

, , und . IFL, Volume 4015 von Lecture Notes in Computer Science, Seite 1-18. Springer, (2005)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

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