Funder
Royal Academy of Engineering
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Reference32 articles.
1. Abramsky S, McCusker G (1997) Call-by-value games. In: Proceedings of CSL (Lecture notes in computer science), vol 1414. Springer, pp 1–17
2. Ahmed A, Dreyer D, Rossberg A (2009) State-dependent representation independence. In: Proceedings of POPL. ACM, pp 340–353
3. Alur R, Madhusudan P (2004) Visibly pushdown languages. In: Proceedings of STOC’04, pp 202–211
4. Barthe G, Crespo JM, Kunz C (2011) Relational verification using product programs. In: International symposium on formal methods. Springer, pp 200–214
5. Benton N, Leperchey B (2005) Relational reasoning in a nominal semantics for storage. In: Proceedings of TLCA (Lecture notes in computer science), vol 3461. Springer, pp 86–101
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献