Extraction of strong typing laws from action semantics definitions-Reference-Cited by-同舟云学术

Extraction of strong typing laws from action semantics definitions

Published:1992 Issue: Volume: Page:151-166
ISSN:0302-9743
Container-title:ESOP '92
language:
Short-container-title:

Author:

Doh Kyung-Goo,Schmidt David A.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-55253-7_9.pdf

Reference36 articles.

1. R. Barbuti and A. Martelli. A structured approach to static semantics correctness. Science of Computer Programming, 3:279–311, 1983.

2. Heuk Barendregt and Kees Hermerik. Types in lambda calculi and programming languages. In Neil D. Jones, editor, ESOP90, Proceedings of European Symposium on Programming, pages 1–35. Lecture Notes in Computer Science 432, Springer-Verlag, 1990.

3. Lecture Notes in Computer Science 98,1980

4. Deryck Brown, Hermano Moura, and David Watt. Towards a realistic semantics-directed compiler generator. In Proceedings of Glasgow Functional Programming Workshop, Isle of Skye, Scotland, 1991.

5. Luca Cardelli and Peter Wegner. On understanding types, data abstraction, and polymorphism. Computing Surveys, 17(4):471–522, 1985.

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

1. Action Semantics in Retrospect;Semantics and Algebraic Specification;2009

2. An Action Semantics Based on Two Combinators;Semantics and Algebraic Specification;2009

3. On Extracting Static Semantics;Lecture Notes in Computer Science;2002

4. Composing Programming Languages by Combining Action-Semantics Modules;Electronic Notes in Theoretical Computer Science;2001-06