The Semantics of Shared Submodules Specifications.

Edward K. Blum Francesco Parisi-Presicce

Published in: TAPSOFT, Vol.1 (1985)

Keyphrases

operational semantics
specification language
formal semantics
attribute grammars
logic programming
high level
control flow
formal language
functional requirements
real time
formal specification