Towards the semantics of the definitional language of MetaSoft-Reference-Cited by-同舟云学术

Towards the semantics of the definitional language of MetaSoft

Published:1990 Issue: Volume: Page:477-503
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Bednarczyk Marek A.,Borzyszkowski Andrzej M.,Pawłowski Wiesław

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-52513-0_24.pdf

Reference27 articles.

1. Goguen, J., J. W. Thatcher, E. G. Wagner and J. B. Wright. “An initial algebra semantics and continuous algebras”. Journal of the ACM, Vol. 24(1), January 1977, pp. 68–95.

2. Thatcher, J. W., E. G. Wagner and J. B. Wright. “Notes on Algebraic Fundamentals for Theoretical Computer Science”. Foundations of Computer Science III, Part 2: Languages, Logic, Semantics, Mathematical Centre Tracts 109, 1979, pp. 83–163.

3. Bednarczyk, M. A., A. M. Borzyszkowski and W. Pawłowski. “Recursive Definitions Revisited”. This volume.

4. Bekič, H. “Definable operations in general algebras and the theory of automata and flowcharts”. IBM Laboratory Vienna (69). Also in Programming languages and their definitions, selected papers of Hans Bekič, Lecture Notes in Computer Science 177, Springer-Verlag, 1984.

5. Birkhoff, G. and J. D. Lipson. “Heterogeneous algebras”. J. Combinatorial Theory 8, 1970, pp. 115–133.

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

1. Modules for a model-oriented specification language: A proposal for metasoft;ESOP '92;1992

2. Cpo's do not form a cpo, and yet recursion works;Lecture Notes in Computer Science;1991

3. An approach to the static semantics of VDM-SL;Lecture Notes in Computer Science;1991

4. A naive domain universe for VDM;Lecture Notes in Computer Science;1990