Problem Specification and Algorithmic Programming.

Published in: International Computing Symposium (1977)

Keyphrases

programming language
reactive systems
high level
development environment
specification language
relational databases
formal specification
artificial intelligence
object oriented programming
exception handling