Deep specification and proof preservation for the CoqTL transformation language

Executable engines for relational model-transformation languages evolve continuously because of language extension, performance improvement and bug fixes. While new versions generally change the engine semantics, end-users expect to get backward-compatibility guarantees, so that existing transformat...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Software and systems modeling Jg. 21; H. 5; S. 1831 - 1852
Hauptverfasser:	Cheng, Zheng, Tisi, Massimo
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Berlin/Heidelberg Springer Berlin Heidelberg 01.10.2022 Springer Nature B.V
Schlagworte:	Certification Compatibility Compilers Computer Science Evolution Information Systems Applications (incl.Internet) Interpreters IT in Business Language Programming Languages Programming Techniques Semantics Software Engineering Software Engineering/Programming and Operating Systems Software upgrading Special Section Paper Specifications Theorems Transformations Model transformation Coq Theorem proving Programming language implementation Certification MDE
ISSN:	1619-1366, 1619-1374
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!