Author:
Wickerson John,Dodds Mike,Parkinson Matthew
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Abadi, M., Cardelli, L., Curien, P.-L., Lévy, J.-J.: Explicit substitutions. In: POPL (1990)
2. Lecture Notes in Computer Science;H. Amjad,2009
3. Bornat, R., Calcagno, C., O’Hearn, P., Parkinson, M.: Permission accounting in separation logic. In: POPL (2005)
4. Lecture Notes in Computer Science;C. Calcagno,2007
5. Lecture Notes in Computer Science;J.W. Coleman,2008
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献