The Clean Termination of Pascal Programs.

Derek Coleman Jane W. Hughes

Published in: Acta Informatica (1979)

Keyphrases

real time
database
multi agent
computer programs
prolog programs
expert systems
relational databases
programming environment
automatic programming
control structures
term rewriting