Formal semantics for program paths

MaRDI QIDQ2843912zbMATH OpenFDO

Authors Ian Hayes, Karl Lermer, Colin Fidge

Publication date 27 August 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104810065

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Path dependent analysis of logic programs
• A logic-based approach to program flow analysis
• scientific article; zbMATH DE number 3874581
• scientific article; zbMATH DE number 1324833
• Operational semantics and generalized weakest preconditions

Cited in

(2)

• Semantics-directed program analysis: a tool-maker's perspective
• Control flow refinement and symbolic computation of average case bound

This page was built for publication: Formal semantics for program paths

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