hoa93

Grosu/Regensburger: The Semantics of SPECTRUM

The Semantics of SPECTRUM

R. Grosu and F. Regensburger

The SPECTRUM project concentrates on the process of developing well-structured, precise system specifications. SPECTRUM is a specification language, with a deduction calculus and a development methodology. An informal presentation of the SPECTRUM language with many examples illustrating its properties is given in [2,3]. The purpose of this article is to describe its formal semantics.

In Proc. of HOA'93, the 1st International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, Amsterdam, 1993.