Login / Signup

Construction of Verified Compiler Front-Ends with Program-Checking.

Andreas HeberleThilo GaulWolfgang GoerigkGerhard GoosWolf Zimmermann
Published in: Ershov Memorial Conference (1999)
Keyphrases
  • computer programs
  • construction process
  • programming language
  • general purpose
  • neural network
  • real world
  • case study
  • bayesian networks
  • static analysis