Extended Calculus of Constructions as a Specification Language (Abstract).

Rod M. Burstall

Published in: MPC (1992)

Keyphrases

specification language
programming language
formal specification
description language
symbolic execution
high level
software environment
requirements specification
information retrieval
software engineering
building blocks