Login / Signup

ASDL - An Object-Oriented Specification Language for Syntax-Directed Environments.

Marie-Luise Christ-NeumannHeinz W. Schmidt
Published in: ESEC (1987)
Keyphrases
  • specification language
  • formal specification
  • programming language
  • description language
  • object oriented
  • software environment
  • symbolic execution
  • search algorithm
  • database
  • machine learning
  • high level
  • general purpose