The Power of the Future Perfect in Program Logics.

Matthew Hennessy Colin Stirling

Published in: MFCS (1984)

Keyphrases

long term
computer programs
neural network
programming language
expressive power
power consumption
program execution
propositional calculus
database
data sets
inference rules
programming environment
control program
power distribution
predicting future