A categorical concept of constraints for algebraic specifications-Reference-Cited by-同舟云学术

A categorical concept of constraints for algebraic specifications

Published:1989 Issue: Volume: Page:1-15
ISSN:0302-9743
Container-title:Categorical Methods in Computer Science With Aspects from Topology
language:
Short-container-title:

Author:

Ehrig Hartmut

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-51722-7_1.pdf

Reference12 articles.

1. Burstall, R.M.; Goguen, J.A.: Semantics of CLEAR, a specification language. Abstract Software Specifications, D. BjØrner (ed); Proc. 1979 Copenhagen Winter School, Springer Lecture Notes in Computer Science 86, 1980, 292–332

2. CIP Language Group: Report on a Wide Spectrum Language for Program Specification and Development, Techn. Report TUM-I8104, TU München, 1981

3. Ehrig, H.: Algebraic theory of parameterized specifications with requirements. 6e Coll. Les Arbres en Algebre et Programmation, Genova 1981, Springer LNCS 112, 1–24

4. Ehrig, H.; Mahr, B.: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, EATCS Monographs on Theoretical Computer Science, Vol 6, Springer-Verlag Berlin Heidelberg New York Tokyo, 1985

5. Ehrig, H.; Mahr, B.: Fundamentals of Algebraic Specification 2, to appear 1989

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Compositionality and compatibility of parameterization and parameter passing in specification languages;Mathematical Structures in Computer Science;1995-06

2. Unifying initial and loose semantics of parameterized specifications in an arbitrary institution;TAPSOFT '91;1991

3. The specification language GSBL;Recent Trends in Data Type Specification;1991

4. Constraints for behavioural specifications;Recent Trends in Data Type Specification;1991

5. Development of algebraic specifications with constraints;Categorical Methods in Computer Science With Aspects from Topology;1989