Sage: Hybrid checking for flexible specifications (2006)

by Jessica Gronski , Kenneth Knowles , Aaron Tomb , Stephen N. Freund , Cormac Flanagan
Venue:In Scheme and Functional Programming Workshop
Citations:27 - 1 self

Active Bibliography

17 Hybrid Type Checking – Kenneth Knowles, Cormac Flanagan
17 Hybrid types, invariants, and refinements for imperative objects – Cormac Flanagan - 2006
17 Semantic subtyping with an SMT solver – Gavin M. Bierman, Andrew D. Gordon, Catalin Hritcu, David Langworthy - 2010
14 Unifying hybrid types and contracts – Jessica Gronski, Cormac Flanagan - 2007
26 Static Contract Checking for Haskell – Dana N. Xu, Simon Peyton Jones, Koen Claessen - 2009
Genericity through Constrained Types – Nathaniel Nystrom, Olivier Tardieu, Igor Peshansky, Vijay Saraswat
Compositional and Decidable Checking for Dependent Contract Types – Kenneth Knowles, Cormac Flanagan - 2008
34 Practical Refinement-Type Checking – Rowan Davies, Frank Pfenning - 1997
13 Constrained Types for Object-Oriented Languages – Vijay Saraswat, Nathaniel Nystrom, Jens Palsberg, Christian Grothoff
6 Dependently Typed Programming with Domain-Specific Logics – Daniel R. Licata, Robert Harper - 2008
4 Positively Dependent Types – Daniel R. Licata, Robert Harper - 2008
7 Combining two forms of type refinements – Joshua Dunfield - 2002
14 A Hoare Logic for Call-by-Value Functional Programs – Yann Régis-gianas, François Pottier
1 Satisfiability-Based Program REASONING AND PROGRAM SYNTHESIS – Saurabh Srivastava - 2010
36 Modular Data Structure Verification – Martin C. Rinard - 2007
Redmond, WA 98052This page intentionally left blank. Back to the Future Revisiting Precise Program Verification using SMT Solvers – Shuvendu K. Lahiri, Shaz Qadeer - 2007
19 Specification and Verification: The Spec# Experience – Mike Barnett, Manuel Fähndrich, Peter Müller, K. Rustan M. Leino, Wolfram Schulte, Herman Venter - 2009
2 Dependent Interoperability – Peter-michael Osera, Vilhelm Sjöberg, Steve Zdancewic
36 Static Type Inference for Ruby – Michael Furr, et al. - 2009