Subject
Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software
Reference43 articles.
1. Structural operational semantics;Aceto,2001
2. E. Astesiano. Inductive and operational semantics, in: E.J. Neuhold, M. Paul (Eds.), Formal Description of Programming Concepts, IFIP State-of-the-Art Report, Springer, 1991, pp. 51–136
3. Casl: The common algebraic specification language;Astesiano;Theoret. Comput. Sci.,2002
4. K.L. Bernstein, A congruence theorem for structured operational semantics of higher-order languages, in: Proc. LICS'98, IEEE, 1998, pp. 153–163
5. D. Berry, R. Milner, D.N. Turner, A semantics for ML concurrency primitives, in: Proc. 17th Annual ACM Symposium on Principles of Programming Languages, ACM, 1992, pp. 119–129
Cited by
114 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Adaptive Structural Operational Semantics;Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering;2023-10-23
2. The Way We Were: Structural Operational Semantics Research in Perspective;Electronic Proceedings in Theoretical Computer Science;2023-09-14
3. Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects;Proceedings of the ACM on Programming Languages;2023-01-09
4. Programming language semantics: It’s easy as 1,2,3;Journal of Functional Programming;2023
5. A Language-Parametric Approach to Exploratory Programming Environments;Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering;2022-11-29