Author:
Eliott Harold Pancho,Berger Martin
Publisher
Springer International Publishing
Reference19 articles.
1. Benton, N., Koutavas, V.: A mechanized bisimulation for the Nu-calculus. Technical report MSR-TR-2008-129, Microsoft (2008)
2. Berger, M., Tratt, L.: Program logics for homogeneous generative run-time meta-programming. Log. Methods Comput. Sci. (LMCS) 11(1:5) (2015)
3. Berger, M., Tratt, L., Urban, C.: Modelling homogeneous generative meta-programming. In: Proceedings of ECOOP, pp. 5:1–5:23 (2017)
4. Dreyer, D., Neis, G., Birkedal, L.: The impact of higher-order state and control effects on local relational reasoning. In: Proceedings of ICFP, pp. 143–156 (2010)
5. Eliott, H.P.: Program logic for fresh name generation. Ph.D. thesis, University of Sussex (expected 2021). Draft
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Program Logic for Fresh Name Generation;Fundamentals of Software Engineering;2021