History effects and verification

DOI10.1007/978-3-540-30477-7_8MaRDI QIDQ5464061zbMATH OpenOpenAlexFDO

Authors Christian Skalka, Scott F. Smith

Publication date 17 August 2005

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

Full work available at URL https://doi.org/10.1007/b102225

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Types and trace effects of higher order programs
• Roles, stacks, histories: A triple for Hoare
• Roles, stacks, histories: a triple for Hoare
• An effective theory of type refinements
• Model checking higher-order programs

Cited in

(13)

• Types and trace effects for object orientation
• A program logic for resources
• Algebras for parameterised monads
• Roles, stacks, histories: a triple for Hoare
• Roles, stacks, histories: A triple for Hoare
• The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification
• Enforcing Programming Guidelines with Region Types and Effects
• A fixpoint logic and dependent effects for temporal property verification
• Theoretical Computer Science
• Types and trace effects of higher order programs
• History-based access control with local policies
• Some Complementary History and Results
• Automated temporal verification for algebraic effects

This page was built for publication: History effects and verification

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