Author:
Lazić Ranko,Murawski Andrzej S.
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Abramsky, S., McCusker, G.: Linearity, sharing, state: a fully abstract game semantics for Idealized Algol with active expressions. In: O’Hearn, P.W., Tennent, R.D. (eds.) Algol-Like Languages, pp. 297–329. Birkhaüser, Boston (1997)
2. Abramsky, S., McCusker, G.: Game semantics. In: Schwichtenberg, H., Berger, U. (eds.) Logic and Computation, Proceedings of the 1997 Marktoberdorf Summer School. Springer-Verlag (1998)
3. Ahmed, A., Dreyer, D., Rossberg, A.: State-dependent representation independence.In: Proceedings of POPL, pp. 340–353. ACM (2009)
4. Alur, R., Madhusudan, P.: Visibly pushdown languages. In: Proceedings of STOC 2004, pp. 202–211 (2004)
5. Colvin, R., Hayes, I.J., Strooper, P.A.: Calculating modules in contextual logic program refinement. Theory Pract. Logic Program. 8(01), 1–31 (2008)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. ML and Extended Branching VASS;Programming Languages and Systems;2017