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...

Full description

Saved in:

Bibliographic Details
Published in:	Software and systems modeling Vol. 21; no. 5; pp. 1831 - 1852
Main Authors:	Cheng, Zheng, Tisi, Massimo
Format:	Journal Article
Language:	English
Published:	Berlin/Heidelberg Springer Berlin Heidelberg 01.10.2022 Springer Nature B.V
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!