Low-level liquid types
From MaRDI portal
Publication:5255068
DOI10.1145/1706299.1706316zbMath1312.68033OpenAlexW2128963089MaRDI QIDQ5255068
Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala
Publication date: 11 June 2015
Published in: Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1706299.1706316
Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (13)
ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs ⋮ Predicate Abstraction for Program Verification ⋮ Combining Model Checking and Deduction ⋮ A Nonstandard Functional Programming Language ⋮ Lightweight shape analysis based on physical types ⋮ Horn Clause Solvers for Program Verification ⋮ Parameterized recursive refinement types for automated program verification ⋮ Embedded domain specific verifiers ⋮ On higher-order reachability games vs may reachability ⋮ Modular Verification of Higher-Order Functional Programs ⋮ ICE-based refinement type discovery for higher-order functional programs ⋮ Invariants Synthesis over a Combined Domain for Automated Program Verification ⋮ Reasoning in the theory of heap: satisfiability and interpolation
This page was built for publication: Low-level liquid types
