论文信息 - How to Cope with the Spectrum of SPECTRUM

How to Cope with the Spectrum of SPECTRUM

The specification language Spectrum [BFG+93] melts a wide range of concepts into a single language frame: three-valued first-order logic, polymorphism, type classes, higher-order functions, infinite objects. The desire of identifying and relating sub-languages satisfying certain constraints given by syntactical and pragmatic considerations appears.

[1] Teodor Rus,et al. AMAST series in computing , 1993 .

[2] Hartmut Ehrig,et al. Fundamentals of Algebraic Specification 1 , 1985, EATCS Monographs on Theoretical Computer Science.

[3] Wolfgang Grieskamp,et al. Algebreic Programming in Opal , 1993, Bull. EATCS.

[4] Gianna Reggio,et al. Recent trends in data type specification : 10th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30-June 3, 1994 : selected papers , 1995 .

[5] Joseph A. Goguen,et al. Institutions: abstract model theory for specification and programming , 1992, JACM.

[6] Hartmut Ehrig,et al. Algebraic Specification Techniques and Tools for Software Development: The Act Approach , 1993, AMAST Series in Computing.

[7] Michael Barr,et al. Category theory for computing science , 1995, Prentice Hall International Series in Computer Science.

[8] Wolfgang Grieskamp,et al. OPAL: Design and Implementation of an Algebraic Programming Language , 1994, Programming Languages and System Architectures.

[9] Hartmut Ehrig. FLEX: A Flexible Extension and Integration Concept for Software Development in SORSo and COMPASS , 1994, Bull. EATCS.

[10] Joseph A. Goguen,et al. Introducing Institutions , 1983, Logic of Programs.

[11] Uwe Wolter,et al. Institutional Frames , 1994, COMPASS/ADT.