Login / Signup
Abstract Predicates and Mutable ADTs in Hoare Type Theory.
Aleksandar Nanevski
Amal Ahmed
Greg Morrisett
Lars Birkedal
Published in:
ESOP (2007)
Keyphrases
</>
abstract data types
data model
database
high level
theoretical framework
petri net
relational database systems