A FASE Specification of FP.

Samuel N. Kamin

Published in: Logic of Programs (1985)

Keyphrases

high level
transition systems
databases
specification language
neural network
artificial intelligence
multimedia
multiscale
special case
programming language
user defined
formal methods
reactive systems