A characterization of abstract data as model-theoretic invariants-Reference-Cited by-同舟云学术

A characterization of abstract data as model-theoretic invariants

Published:1979 Issue: Volume: Page:26-37
ISSN:0302-9743
Container-title:Automata, Languages and Programming
language:
Short-container-title:

Author:

Bertoni A.,Mauri G.,Miglioli P. A.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-09510-1_3.pdf

Reference15 articles.

1. Bertoni,A., Mauri,G., Miglioli,P.A., Model-theoretic aspects of abstract data specification, Colloquium on Mathematical Logic in Programming, Salgotarjan, 1978

2. Cohn, P.M., Universal Algebra, Harper and Row, New York, 1965

3. Eklof, P.C., Ultraproducts for algebraists, in ‘Handbook of Mathematical Logic’ (J. Barwise ed.), North-Holland, Amsterdam, 1977

4. Goguen,J.A., Thatcher,J.W., Wagner,E.G., An initial algebra approach to the specification, correctness and implementation of abstract data types, IBM Res. Rep. RC6487, Yorktown Heights, 1976

5. Guttag,J.V., Abstract data types and the development of data structures, SIGPLAN Notices 8, 1976

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

1. Towards a Type Discipline for Answer Set Programming;Lecture Notes in Computer Science;2009

2. Equality-Test and If-Then-Else Algebras: Axiomatization and Specification;SIAM Journal on Computing;1991-08

3. Algebraic Specification;Formal Models and Semantics;1990

4. Semantics of algorithmic languages;Journal of Soviet Mathematics;1984-06

5. Abstract data types and their extensions within a constructive logic;Semantics of Data Types;1984