Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference47 articles.
1. A structural approach to operational semantics;Plotkin;J. Log. Algebraic Program.,2004
2. Natural semantics;Kahn,1987
3. Coinductive big-step operational semantics;Leroy;Inf. Comput.,2009
4. Concrete Semantics: With Isabelle/HOL;Nipkow,2014
5. What is the meaning of these constant interruptions?;Hutton;J. Funct. Program.,2007
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. On Coevaluation Behavior and Equivalence;Mathematics;2022-10-14
2. Certified Derivation of Small-Step From Big-Step Skeletal Semantics;Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming;2022-09-20
3. A Meta-theory for Big-step Semantics;ACM Transactions on Computational Logic;2022-04-06
4. A big step from finite to infinite computations;Science of Computer Programming;2020-10
5. Coinductive Natural Semantics for Compiler Verification in Coq;Mathematics;2020-09-12