Reducing Behavioural to Structural Properties of Programs with Procedures

DOI10.1007/978-3-540-93900-9_14MaRDI QIDQ3600471zbMATH OpenOpenAlexFDO

Authors Dilian Gurov, Marieke Huisman

Publication date 10 February 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-93900-9_14

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Reducing behavioural to structural properties of programs with procedures
• Reduction strategies for declarative programming
• scientific article; zbMATH DE number 890353
• Program synthesis with equivalence reduction
• An approach to analyzing the properties of programs
• A theory of reduced and minimal procedural dependencies
• A Proof-Theoretic Account of Programming and the Role of Reduction Rules
• A means for the structural synthesis of programs

Cited in

(4)

• A theory of reduced and minimal procedural dependencies
• CVPP: a tool set for compositional verification of control-flow safety properties
• ProMoVer: modular verification of temporal safety properties
• Reducing behavioural to structural properties of programs with procedures

This page was built for publication: Reducing Behavioural to Structural Properties of Programs with Procedures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3600471)