Login / Signup

Characterizing Specification Languages which Admit Initial Semantics.

Bernd MahrJohann A. Makowsky
Published in: Theor. Comput. Sci. (1984)
Keyphrases
  • specification languages
  • formal specification
  • object oriented programs
  • first order logic
  • specification language
  • database
  • neural network
  • case study
  • database systems
  • source code
  • model checking
  • key features
  • black box