Verification: Theory and Practice
From MaRDI portal
Publication:5305637
DOI10.1007/b12001zbMath1274.68055OpenAlexW2483649756MaRDI QIDQ5305637
K. Rustan M. Leino, Martín Abadi
Publication date: 23 March 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b12001
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (9)
An observationally complete program logic for imperative higher-order functions ⋮ Specification patterns for reasoning about recursion through the store ⋮ Verification of object-oriented programs: a transformational approach ⋮ Semantics and logic of object calculi ⋮ Lazy behavioral subtyping ⋮ A Hoare logic for dynamic networks of asynchronously communicating deterministic processes ⋮ Full Abstraction at Package Boundaries of Object-Oriented Languages ⋮ A proof outline logic for object-oriented programming ⋮ Domain-specific Semantics and Data Refinement of Object Models
This page was built for publication: Verification: Theory and Practice
