The Common Pattern Specification Language.

Douglas E. Appelt Boyan A. Onyshkevych

Published in: TIPSTER (1998)

Keyphrases

specification language
description language
formal specification
programming language
symbolic execution
software environment
pattern matching
information retrieval
web services
dynamic environments