A logical approach to data structures

Authors:
Russell Turpin
Affiliations:
-
Venue:
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Year:
1993

Citing 8
Cited 0

Programming in Prolog (2nd ed.)

Programming in Prolog (2nd ed.)
Constraint programming languages: their specification and generation

Constraint programming languages: their specification and generation
LISP, lore, and logic: an algebraic view of LISP programming, foundations, and applications

LISP, lore, and logic: an algebraic view of LISP programming, foundations, and applications
Programming data structures in logic

Programming data structures in logic
Verification of Array, Record, and Pointer Operations in Pascal

ACM Transactions on Programming Languages and Systems (TOPLAS)
An axiomatic basis for computer programming

Communications of the ACM
The Science of Programming

The Science of Programming
Formal Specifications of Programming Language: A Panoramic Primer

Formal Specifications of Programming Language: A Panoramic Primer

Quantified Score

Hi-index	0.00

Visualization

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.