Unrestricted Procedure Calls in Hoare's Logic.

Robert Cartwright Derek C. Oppen

Published in: POPL (1978)

Keyphrases

logic programming
iterative procedure
classical logic
probabilistic logic
asynchronous circuits
multi valued
multiscale
linear logic
real time
computational properties
expert systems
image segmentation
case study
decision trees
information systems
genetic algorithm
machine learning
neural network
data sets