Algebraic implementation of abstract data types: concept, syntax, semantics and correctness-Reference-Cited by-同舟云学术

Algebraic implementation of abstract data types: concept, syntax, semantics and correctness

Published:1980 Issue: Volume: Page:142-156
ISSN:0302-9743
Container-title:Automata, Languages and Programming
language:
Short-container-title:

Author:

Ehrig H.,Kreowski H. -J.,Padawitz P.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-10003-2_67.pdf

Reference17 articles.

1. IBM Research Report;J. A. Goguen,1978

2. Burstall, R.M.-Goguen, J.A.: Putting Theories together to Make Specifications, Proc.Int.Conf. Artif.Intelligence, Boston, 1977

3. Ehrich, H.-D.: Extensions and Implementations of Abstract Data Type Specifications, Proc.Conf.MFCS'78, Zakopane, Springer Lect.Not. in Comp. Sci. 64, 1978, 155–163

4. —: On the Theory of Specification, Implementation and Parametrization of Abstract Data Types, Forschungsbericht Uni. Dortmund, 1978

5. Ehrig, H.-Kreowski, H.-J.-Padawitz, P.: Stepwise Specification and Implementation of Abstract Data Types, Proc.5.Int.Colloq.on Automata, Languages and Programming, Udine 1978

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

1. Agent-Based Software Engineering and Agent Mediations;Hybrid Information Systems;2002

2. Procedural implementation of algebraic specifications of abstract data types;Fundamentals of Computation Theory;1987

3. Good functors ... are those preserving philosophy!;Category Theory and Computer Science;1987

4. Abstract implementations and correctness proofs;STACS 86;1986

5. On the implementation of abstract data types by programming language constructs;Mathematical Foundations of Software Development;1985