Structured theories in LCF-Reference-Cited by-同舟云学术

Structured theories in LCF

Published:1983 Issue: Volume: Page:377-391
ISSN:0302-9743
Container-title:CAAP'83
language:
Short-container-title:

Author:

Sannella D. T.,Burstall R. M.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-12727-5_24.pdf

Reference17 articles.

1. Thatcher, J.W., Wagner, E.G. and Wright, J.B. Data type specification: parameterization and the power of specification techniques. SIGACT 10th Annual Symp. on the Theory of Computing, San Diego, California.

2. Abrial, J.R., Schuman, S.A. and Meyer, B. Specification language Z. Massachusetts Computer Associates Inc., Boston, Massachusetts.

3. Bauer, F.L. et al (the CIP Language Group) Report on a wide spectrum language for program specification and development. Report TUM-18104, Technische Univ. MUnchen.

4. Burstall, R.M. and Goguen, J.A. Putting theories together to make specifications. Proc. 5th Intl. Joint Conf. on Artificial Intelligence, Cambridge, Massachusetts, pp. 1045–1058.

5. Burstall, R.M. and Goguen, J.A. The semantics of Clear, a specification language. Proc. of Advanced Course on Abstract Software Specifications, Copenhagen. Springer Lecture Notes in Computer Science, Vol. 86, pp. 292–332.

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

1. What Is a Derived Signature Morphism?;Recent Trends in Algebraic Development Techniques;2015

2. A Relatively Complete Calculus for Structured Heterogeneous Specifications;Lecture Notes in Computer Science;2014

3. Building Structured Theories;Relational and Algebraic Methods in Computer Science;2011

4. Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design;Logica Universalis;2010-11

5. Structured Formal Development with Quotient Types in Isabelle/HOL;Lecture Notes in Computer Science;2010