Correctness of Programs with Function Procedures.

J. W. de Bakker Jan Willem Klop John-Jules Ch. Meyer

Published in: Logic of Programs (1981)

Keyphrases

high level
databases
real time
search engine
social networks
case study
learning environment
special case
piecewise linear
java programs
control structures