Login / Signup
Abstract Continuations: A Mathematical Semantics for Handling Full Jumps.
Matthias Felleisen
Mitchell Wand
Daniel P. Friedman
Bruce F. Duba
Published in:
LISP and Functional Programming (1988)
Keyphrases
</>
formal semantics
propositional dynamic logic
high level
graphical representation
semantic information
markov chain
logical language
multi agent
higher level
logic programming
real time
conceptual model
default reasoning
bayesian networks
learning algorithm
logical framework
operational semantics
data mining