A language-independent proof system for full program equivalence

Two programs are fully equivalent if, for the same input, either they both diverge or they both terminate with the same result. Full equivalence is an adequate notion of equivalence for programs written in deterministic languages. It is useful in many contexts, such as capturing the correctness of p...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Formal aspects of computing Jg. 28; H. 3; S. 469 - 497
Hauptverfasser:	Ciobâcă, Ştefan, Lucanu, Dorel, Rusu, Vlad, Roşu, Grigore
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	London Springer London 01.05.2016 Association for Computing Machinery Springer Verlag
Schlagworte:	Compilers Computer Science Equivalence Languages Logic in Computer Science Math Applications in Computer Science Original Article Programming Languages Proving Semantics Sequences Sound Theory of Computation Transformations Program equivalence Matching logic Programming language aggregation Programming language semantics Full equivalence
ISSN:	0934-5043, 1433-299X
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!