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