Ordered and continuous models of higher-order specifications-Reference-Cited by-同舟云学术

Ordered and continuous models of higher-order specifications

Published:1994 Issue: Volume: Page:223-255
ISSN:0302-9743
Container-title:Higher-Order Algebra, Logic, and Term Rewriting
language:
Short-container-title:

Author:

Möller Bernhard

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-58233-9_11.pdf

Reference45 articles.

1. J. Adámek, A.H. Mekler, E. Nelson, J. Reiterman: On the logic of continuous algebras. Notre Dame J. Formal Logic 29, 365–380 (1988)

2. J. Backus: Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. Commun. ACM 21, 613–641 (1978)

3. F.L. Bauer, H. Wössner: Algorithmic language and program development. Berlin: Springer 1982

4. F.L. Bauer, R. Berghammer, M. Broy, W. Dosch, F. Geiselbrechtinger, R. Gnatz, E. Hangel, W. Hesse, B. Krieg-Brückner, A. Laut, T. Matzner, B. Möller, F. Nickl, H. Partsch, P. Pepper, K. Samelson, M. Wirsing, H. Wössner: The Munich project CIP. Volume I: The wide spectrum language CIP-L. Lecture Notes in Computer Science 183. Berlin: Springer 1985

5. G. Birkhoff: Lattice theory, 3rd edition. American Mathematical Society Colloquium Publications, Vol. XXV. Providence, R.I.: AMS 1967

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

1. Evolving Logical Specification in Information Systems;Logics for Databases and Information Systems;1998

2. ATLAS: A typed language for algebraic specification;Higher-Order Algebra, Logic, and Term Rewriting;1994

3. Specification and verification in higher order algebra: A case study of convolution;Higher-Order Algebra, Logic, and Term Rewriting;1994