Login / Signup

i7 Processor Execution Engine Validation in a Functional Language Based Formal Framework.

Roope Kaivola
Published in: PADL (2011)
Keyphrases
  • execution engine
  • high level
  • databases
  • database
  • data mining
  • web services
  • software engineering
  • conceptual framework
  • database queries