Low-level liquid types

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

zbMATH Keywords

dependent typestype inferenceCliquid types

Mathematics Subject Classification ID

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