Side Effects and Aliasing Can Have Simple Axiomatic Descriptions.

Hans-Juergen Boehm

Published in: ACM Trans. Program. Lang. Syst. (1985)

Keyphrases

real time
data sets
databases
website
real world
machine learning
decision making
decision trees
high level
face recognition
high quality
multi agent
high frequency
highly reliable