Maintaining Database Integrity with Refinement Types
No abstract available.
DOI 10.1007/978-3-642-22655-7_23
Related papers
- Verifying equivalence of database-driven applications POPL 2018
- Making standard ML a practical database programming language ICFP 2011
- Bounded refinement types ICFP 2015
- Generic Refinement Types POPL 2025
- ScalaQL: Language-Integrated Database Queries for Scala SLE 2009
- An Object-Oriented Language-Database Integration Model: The Composition-Filters Approach ECOOP 1992
- Static Integrity Constraint Management in Object-Oriented Database Programming Languages via Predicate Transformers ECOOP 1997
- The Design of an Integrity Consistency Checker (ICC) for an Object-Oriented Database System ECOOP 1991