Login / Signup

The PSL/Sugar Specification Language A Language for all Seasons.

Daniel Geist
Published in: CHARME (2003)
Keyphrases
  • specification language
  • programming language
  • formal specification
  • description language
  • symbolic execution
  • software environment
  • database
  • general purpose
  • english text
  • fine grained