Safety Guarantees from Explicit Resource Management

DOI10.1007/978-3-540-92188-2_3MaRDI QIDQ3602994zbMATH OpenOpenAlexFDO

Authors Patrick Maier, Ian Stark, D. Aspinall

Publication date 12 February 2009

Published in Formal Methods for Components and Objects (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-92188-2_3

Mathematics Subject Classification ID

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

Recommendations

• Programming Languages and Systems
• Resource bound certification
• A resource semantics and abstract machine for \textit{Safe}: a functional language with regions and explicit deallocation
• Types and Effects for Resource Usage Analysis
• A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation

Cites work

• A program logic for resources
• Abstract Predicates and Mutable ADTs in Hoare Type Theory
• Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006)
• scientific article; zbMATH DE number 2084815 (Why is no real title available?)
• Logic for Programming, Artificial Intelligence, and Reasoning

Cited in

(5)

• Code aware resource management
• A resource semantics and abstract machine for \textit{Safe}: a functional language with regions and explicit deallocation
• scientific article; zbMATH DE number 1955913 (Why is no real title available?)
• Programming Languages and Systems
• Theoretical Aspects of Computing – ICTAC 2005

This page was built for publication: Safety Guarantees from Explicit Resource Management

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