Login / Signup
An Abstract Specification Language for Static Program Analysis.
Michael Vistein
Frank Ortmeier
Wolfgang Reif
Ralf Huuck
Ansgar Fehnker
Published in:
Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
</>
specification language
programming language
formal specification
description language
requirements specification
high level
symbolic execution
information retrieval
general purpose
software environment
databases
optimal solution
domain specific
fine grained