The semantics of clear, a specification language-Reference-Cited by-同舟云学术

The semantics of clear, a specification language

Published:1980 Issue: Volume: Page:292-332
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Burstall R. M.,Goguen J. A.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-10007-5_41.pdf

Reference35 articles.

1. Abrial,J.R., Schuman, S.A. and Meyer, B. (1979) Specification Language Z, (unpublished draft) from Massachusetts Computer Associates Inc., Boston.

2. Arbib, M.A. and Manes, E.G. (1975) Arrows, Structures and Functors: The Categorical Imperative. Academic Press, London.

3. Burstall, R.M. and Goguen, J.A. (1977) Putting theories together to make specifications. Invited paper in Proc. of Fifth International Joint Conference on Artificial Intelligence, Cambridge, Mass., pp. 1045–1058.

4. Burstall, R.M. and Goguen, J.A. (1978) Semantics of Clear, (unpublished notes handed out at the Symposium on Algebra and Applications, Danach Center, Warsaw).

5. Burstall, R.M. and Rydeheard (1979) The free algebraic theory on a signature, (unpublished draft report), Dept. of Computer Science, University of Edinburgh.

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

1. The logical structure of modular semantic theories of software systems;Metaphilosophy;2024-07

2. Building Correct-by-Construction Systems with Formal Patterns;Recent Trends in Algebraic Development Techniques;2023

3. Machine-Assisted Proofs for Institutions in Coq;Theoretical Aspects of Software Engineering;2022

4. Machine-Assisted Proofs for Institutions in Coq;Lecture Notes in Computer Science;2022

5. Parameterized Programming for Compositional System Specification;Rewriting Logic and Its Applications;2018