A Logical Approach to Data Structures

Abstract

The Galois project at the University of Texas is building a programming environment that supports the formal development and verification of data structure programs. This programming environment supports features such as pointer manipulation and destructive update that often make formal treatment difficult.

BibTeX

@inproceedings{Turpin:FSE93,
  author    = {Russell Turpin},
  title     = {A Logical Approach to Data Structures},
  booktitle = {FSE},
  pages     = {138--148},
  publisher = {{ACM}},
  year      = {1993},
}

A Logical Approach to Data Structures

Abstract

Related papers