Abstract Refinement Types
From MaRDI portal
Publication:5326287
DOI10.1007/978-3-642-37036-6_13zbMath1381.68038OpenAlexW2125995229MaRDI QIDQ5326287
Niki Vazou, Patrick Maxim Rondon, Ranjit Jhala
Publication date: 5 August 2013
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-37036-6_13
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs ⋮ Parameterized recursive refinement types for automated program verification ⋮ Higher order symbolic execution for contract verification and refutation ⋮ Extensible Datasort Refinements ⋮ A general semantic construction of dependent refinement type systems, categorically ⋮ Ready,Set, Verify! Applyinghs-to-coqto real-world Haskell code
Uses Software
This page was built for publication: Abstract Refinement Types
