Theory and practice of action semantics-Reference-Cited by-同舟云学术

Theory and practice of action semantics

Published:1996 Issue: Volume: Page:37-61
ISSN:0302-9743
Container-title:Mathematical Foundations of Computer Science 1996
language:
Short-container-title:

Author:

Mosses Peter D.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-61550-4_139.pdf

Reference71 articles.

1. S. Abramsky. Semantics of interaction. In Trees in Algebra and Programming — CAAP'96, Proc. 21st Int. Coll., Linköping, volume 1059 of Lecture Notes in Computer Science, page 1. Springer-Verlag, 1996.

2. G. Agha, I. A. Mason, S. F. Smith, and C. L. Talcott. A foundation for actor computation. To appear in Journal of Functional Programming, 1994.

3. A. Bondorf and J. Palsberg. Compiling actions by partial evaluation. In FPCA'93, Proc. Sixth ACM Conf. on Functional Programming Languages and Computer Architecture, Copenhagen, pages 308–317, 1993.

4. number NS-94-1 in BRICS Notes Series;D. Brown,1994

5. D. F. Brown, H. Moura, and D. A. Watt. Actress: an action semantics directed compiler generator. In CC'92, Proc. 4th Int. Conf. on Compiler Construction, Paderborn, volume 641 of Lecture Notes in Computer Science, pages 95–109. Springer-Verlag, 1992.

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

1. An Executable Semantics for Faster Development of Optimizing Python Compilers;Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering;2023-10-23

2. Fundamental Constructs in Programming Languages;Lecture Notes in Computer Science;2021

3. Reusable specification templates for defining dynamic semantics of DSLs;Software & Systems Modeling;2017-03-21

4. Reusable Components of Semantic Specifications;Transactions on Aspect-Oriented Software Development XII;2015

5. Reusable Components for Lightweight Mechanisation of Programming Languages;Software Composition;2013