Specification = Program + Types.

Published in: FSTTCS (1987)

Keyphrases

high level
data structure
modelling language
database
neural network
decision making
web pages
relational databases
computer programs
specification language
control program