Program Developments: Formal Explanations of Implementations.

Published in: Commun. ACM (1983)

Keyphrases

software engineering
efficient implementation
formal model
database
databases
knowledge base
expert systems
formal specification
static analysis
formal methods
formal language