Actress: An action semantics directed compiler generator-Reference-Cited by-同舟云学术

Actress: An action semantics directed compiler generator

Published:1992 Issue: Volume: Page:95-109
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Brown Deryck F.,Moura Hermano,Watt David A.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-55984-1_11.pdf

Reference12 articles.

1. D. F. Brown. Sort inference in action semantics. Research report, Department of Computing Science, University of Glasgow, Scotland, 1992. In preparation.

2. P. Lee. Realistic Compiler Generation. MIT Press, Cambridge, Massachusetts, 1989.

3. P. D. Mosses. SIS — semantics implementation system, reference manual and user guide. Departmental Report DAIMI MD-30, Computer Science Department, Aarhus University, Denmark, 1979.

4. P. D. Mosses. Action Semantics. Cambridge University Press, Cambridge, England, 1992. In preparation.

5. P. D. Mosses and D. A. Watt. The use of action semantics. In M. Wirsing, editor, Formal Description of Programming Concepts III, pages 135–163. North Holland, Amsterdam, Netherlands, 1987.

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

1. Programming Language Semantics;Computing Handbook, Third Edition;2014-05-08

2. An Implementation of Object-Oriented Action Semantics in Maude;Semantics and Algebraic Specification;2009

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

4. Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic;Algebraic Methodology and Software Technology;2000

5. Horn Logic Denotations and Their Applications;The Logic Programming Paradigm;1999