Login / Signup

A Simple Denotational Semantics, Proof Theory and a Validation Condition Generator for Unit-Delay VHDL.

Peter T. BreuerLuis Sánchez FernándezCarlos Delgado Kloos
Published in: Formal Methods Syst. Des. (1995)
Keyphrases
  • proof theory
  • denotational semantics
  • databases
  • general purpose
  • sufficient conditions
  • programming language
  • temporal reasoning
  • default reasoning
  • automated reasoning
  • operational semantics