Implementation Specifications-Reference-Cited by-同舟云学术

Implementation Specifications

Published:1985 Issue: Volume: Page:39-53
ISSN:0343-3005
Container-title:Recent Trends in Data Type Specification
language:
Short-container-title:

Author:

Beierle Christoph,Voß Angelika

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-09691-8_5

Reference13 articles.

1. Burstall, R.M., Goguen, J.A.: The semantics of Clear, a specification language. Proc. of Advanced Course on Abstract Software Specifications, Copenhagen. LNCS Vol.86, pp. 292–332.

2. Beierle, C, Voß, A.: Algebraic specifications and implementations in an integrated software development and verfication system. PB Informatik, Univ. Kaiserslautern (to appear 1985).

3. Ehrich, H.-D.: On the theory of specification, Implementation and Parametrization of Abstract Data Types. JACM Vol. 29, No. 1, Jan. 1982, pp. 206–227.

4. Ehrig, H., Kreowski, H.-J., Mahr, B., Padawitz, P.: Algebraic Implementation of Abstract Data Types. Theor. Computer Science Vol. 20, 1982, pp. 209–254.

5. Ehrig, H., Kreowski, H. J.,Padawitz, P.: Stepwise specification and implementation of abstract data types. Proc. 5th ICALP, LNCS Vol. 62, 1978, pp. 203–206.

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

1. Towards an Algebraic Theory of Inheritance in Object Oriented Programming;Algebraic Methodology and Software Technology (AMAST’93);1994

2. A formalism for the specification of essentially-algebraic structures in 2-categories;Mathematical Structures in Computer Science;1992-03

3. Institutions: abstract model theory for specification and programming;Journal of the ACM;1992-01-02

4. A notion of implementation for the specification language OBSCURE;Recent Trends in Data Type Specification;1991

5. An algebraic approach to refinement;Lecture Notes in Computer Science;1990