Login / Signup

Approximating the Domains of Functional and Imperative Programs.

Jürgen BrauburgerJürgen Giesl
Published in: Sci. Comput. Program. (1999)
Keyphrases
  • imperative programs
  • real world
  • application domains
  • dynamic logic
  • search engine
  • real time
  • artificial intelligence
  • case study
  • high level
  • bayesian networks
  • management system
  • cross domain