Rewriting of imperative programs into logical equations

DOI10.1016/j.scico.2004.10.001zbMath1082.68044OpenAlexW1990968526MaRDI QIDQ2486260

Olivier Ponsini, Carine Fédéle, Emmanuel Kounalis

Publication date: 5 August 2005

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2004.10.001

zbMATH Keywords

Operational semanticsRewritingProgram verificationCompilingEquational semanticsImperative program transformationRewrite system

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42)

Related Items (1)

CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes

Uses Software

• PVS
• SPIKE

This page was built for publication: Rewriting of imperative programs into logical equations