Rewriting of imperative programs into logical equations
From MaRDI portal
Publication:2486260
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
Operational semanticsRewritingProgram verificationCompilingEquational semanticsImperative program transformationRewrite system
Related Items (1)
Uses Software
This page was built for publication: Rewriting of imperative programs into logical equations