Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Hubert Baumeister. Über die Stabilität parameterisierter algebraischer Spezifikationen (About the stability of parameterized algebraic specifications). Master's thesis, Universität Dortmund, July 1990.
2. R.M. Burstall and J.A. Goguen. The semantics of Clear, a specification language, February 1980.
3. Ingo Claßen. Revised ACT ONE: Categorical constructions for an algebraic specification language. In H. Ehrig, H. Herrlich, J.-J. Kreowski, and G. Preuß, editors, Categorical Methods in Computer Science with Aspects from Topology, number 393 in LNCS, pages 124–141. Springer, 1987.
4. Hans-Dieter Ehrich, Martin Gogolla, and Udo Walter Lipeck. Algebraische Spezifikation abstrakter Datentypen (Algebraic Specification of Abstract Datatypes). B. G. Teubner Stuttgart, 1989.
5. Hartmut Ehrig. A categorical concept of constraints for algebraic specifications. In H. Ehrig, H. Herrlich, H.-J. Kreowski, and G. Preuß, editors, Categorical Methods in Computer Science, number 393 in LNCS. Springer Verlag, 1989.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献