Apects of Programs With Finite Modes.

Published in: FCT (1983)

Keyphrases

computer programs
multiscale
function symbols
real time
machine learning
information systems
case study
database systems
reinforcement learning
information technology
logic programs
fixpoint
java programs
provably correct