Author:
Nakata Keiko,Uustalu Tarmo
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Blazy, S., Leroy, X.: Mechanized semantics for the Clight subset of the C language. J. of Automated Reasoning 43(3), 263–288 (2009)
2. Capretta, V.: General recursion via coinductive types. Logical Methods in Computer Science 1(2), article 1 (2005)
3. Cousot, P., Cousot, R.: Inductive definitions, semantics and abstract interpretation. In: Conf. Record of 19th ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, POPL 1992, Albuquerque, NM, January 1992, pp. 83–94. ACM Press, New York (1992)
4. Cousot, P., Cousot, R.: Bi-inductive structural semantics. Inform. and Comput. 207(2), 258–283 (2009)
5. Danielsson, N.A., Altenkirch, T.: Mixing induction and coinduction. Draft (2009),
http://www.cs.nott.ac.uk/~nad/publications/
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Meta-theory for Big-step Semantics;ACM Transactions on Computational Logic;2022-04-06
2. Automated Temporal Verification for Algebraic Effects;Programming Languages and Systems;2022
3. Alice in Wineland: A Fairy Tale with Contracts;The Logic of Software. A Tasting Menu of Formal Methods;2022
4. A metalanguage for guarded iteration;Theoretical Computer Science;2021-04
5. A big step from finite to infinite computations;Science of Computer Programming;2020-10