Proving Properties of Programs Defined over Recursive Data Structures.

Daniel Le Métayer

Published in: PEPM (1995)

Keyphrases

data structure
structural properties
knowledge base
databases
image sequences
multi agent
information technology
efficient data structures
primitive operations
imperative programs