Login / Signup

The Derivation of Functional Equivalents of Imperative Programs.

Graham H. B. Roberts
Published in: ACSC (2001)
Keyphrases
  • imperative programs
  • dynamic logic
  • data sets
  • information systems
  • functional analysis