Correctness of Program Transformations as a Termination Problem

DOI10.1007/978-3-642-31365-3_36zbMath1358.68076OpenAlexW101983915MaRDI QIDQ2908517

Conrad Rau, David Sabel, Manfred Schmidt-Schauss

Publication date: 5 September 2012

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-31365-3_36

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Structural Rewriting in the pi-Calculus. ⋮ Observational program calculi and the correctness of translations

This page was built for publication: Correctness of Program Transformations as a Termination Problem