A fresh look at separation algebras and share accounting

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5904 LNCS, Issue , 2009, Pages 161-177

  Dockins, Robert ^a   Hobor, Aquinas ^b   Appel, Andrew W ^a  

^a PRINCETON UNIVERSITY   (United States)

^b NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

[No Author keywords available]

Indexed keywords

OPERATOR CALCULUS; POWERFUL SYSTEMS; SEPARATION LOGIC; SIMPLE MODEL;

ALGEBRA; COMPUTER SOFTWARE; FORMAL LOGIC; LINGUISTICS;

SEPARATION;

EID: 72449130855     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-10672-9_13     Document Type: Conference Paper

References (11)

1. Bornat, R., Calcagno, C., O'Hearn, P., Parkinson, M.: Permission accounting in separation logic. In: POPL 2005: Proc. of the 32nd ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, pp. 259-270 (2005)
2. Boyland, J.: Checking interference with fractional permissions. In: Cousot, R. (ed.) SAS 2003. LNCS, vol. 2694, pp. 55-72. Springer, Heidelberg (2003)
3. Brotherston, J., Calcagno, C.: Classical BI: a logic for reasoning about dualising resources. In: POPL 2009: Proc. of the 36th ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, pp. 328-339 (2009)
4. Calcagno, C., O'Hearn, P.W., Yang, H.: Local action and abstract separation logic. In: LICS 2007: Proceedings of the 22nd IEEE Symp. on Logic in Computer Science, pp. 366-378 (2007)
5. Hobor, A.: Oracle Semantics. PhD thesis, Princeton University (2008)
6. Hobor, A., Appel, A.W., Zappa Nardelli, F.: Oracle semantics for concurrent separation logic. In: Drossopoulou, S. (ed.) ESOP 2008. LNCS, vol. 4960, pp. 353-367. Springer, Heidelberg (2008)
7. Ishtiaq, S.S., O'Hearn, P.W.: BI as an assertion language for mutable data structures. In: POPL 2001: Proc. of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 14-26 (2001)
8. Parkinson, M.: Local Reasoning for Java. PhD thesis, Univ. of Cambridge (2005)
9. Pym, D.J., O'Hearn, P.W., Yang, H.: Possible worlds and resources: the semantics of BI. Theor. Comput. Sci. 315(1), 257-305 (2004)
10. Restall, G.: An Introduction to Substructural Logics. Routledge, London (2000)
11. Reynolds, J.C.: Separation logic: A logic for shared mutable data structures. In: LICS 2002: Proc. of the 17th Annual IEEE Symp. on Logic in Computer Science, pp. 55-74 (2002)