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

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Software and systems modeling Ročník 21; číslo 5; s. 1831 - 1852
Hlavní autoři:	Cheng, Zheng, Tisi, Massimo
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Berlin/Heidelberg Springer Berlin Heidelberg 01.10.2022 Springer Nature B.V
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!