Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Charguéraud, A.: Characteristic Formulae for Mechanized Program Verification. PhD thesis, Université Paris-Diderot (2010)
2. Cousot, P., Cousot, R.: Inductive definitions, semantics and abstract interpretation. In: POPL, pp. 83–94 (1992)
3. Cousot, P., Cousot, R.: Bi-inductive structural semantics: (extended abstract). Electronic Notes Theoretical Computer Sciences 192(1), 29–44 (2007)
4. Cousot, P., Cousot, R.: Bi-inductive structural semantics. Information and Computation 207(2), 258–283 (2009)
5. Danielsson, N.A.: Operational semantics using the partiality monad. In: ICFP, pp. 127–138. ACM (2012)
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献