C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Should your specification language be typed.
Leslie Lamport
Lawrence C. Paulson
Published in:
ACM Trans. Program. Lang. Syst. (1999)
Keyphrases
</>
specification language
formal specification
programming language
description language
lambda calculus
higher order
symbolic execution
software environment
requirements specification
fine grained
model checking
machine learning
high level
building blocks
orders of magnitude