Login / Signup
Single-Assignment Semantics for Imperative Programs.
Björn Lisper
Published in:
PARLE (2) (1989)
Keyphrases
</>
imperative programs
dynamic logic
data sets
machine learning
semantic information
case study
expert systems
conceptual model
formal semantics