Tracking heaps that hop with heap-hop

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

Volumn 6015 LNCS, Issue , 2010, Pages 275-279

  Villard, Jules ^a   Lozes, Étienne ^a   Calcagno, Cristiano ^b,c  

^a CNRS   (France)

^b Monoidics Ltd

^c IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CONCURRENT PROGRAM; DEADLOCK FREEDOM; LOAD-BALANCING; LOOP INVARIANTS; MEMORY LEAKS; SEPARATION LOGIC; SERVICE PROVIDER; SESSION TYPES; HEAP-MANIPULATING PROGRAMS; PRE AND POST CONDITIONS;

COMPUTER SOFTWARE; MESSAGE PASSING; NETWORK MANAGEMENT;

STRUCTURED PROGRAMMING; MESSAGE PASSING;

EID: 77951610755     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-12002-2_23     Document Type: Conference Paper

References (9)

1. http://www.lsv.ens-cachan.fr/~villard/heaphop/
2. Berdine, J., Calcagno, C., O'Hearn, P.: Smallfoot: Modular Automatic Assertion Checking with Separation Logic. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2005. LNCS, vol. 4111, pp. 115-137. Springer, Heidelberg (2006)
3. Calcagno, C., Parkinson, M., Vafeiadis, V.: Modular Safety Checking for Fine-Grained Concurrency. In: Riis Nielson, H., Filé, G. (eds.) SAS 2007. LNCS, vol. 4634, p. 233. Springer, Heidelberg (2007)
4. Fähndrich, M., Aiken,M., Hawblitzel,M., Hodson, O., Hunt, G., Larus, J., Levi, S.: Language Support for Fast and Reliable Message-Based Communication in Singularity OS. In: EuroSys (2006) (Pubitemid 47485746)
5. Hu, R., Yoshida, N., Honda, K.: Session-Based Distributed Programming in Java. In: Vitek, J. (ed.) ECOOP 2008. LNCS, vol. 5142, pp. 516-541. Springer, Heidelberg (2008)
6. Leino, K., Müller, P., Smans, J.: Deadlock-free Channels and Locks. To appear in ESOP 2010 (2010)
7. Reynolds, J.C.: Separation Logic: A Logic for Shared Mutable Data Structures. In: LICS 2002 (2002)
8. Takeuchi, K., Honda, K., Kubo, M.: An Interaction-Based Language and Its Typing System. In: Halatsis, C., Philokyprou, G., Maritsas, D., Theodoridis, S. (eds.) PARLE 1994. LNCS, vol. 817, pp. 398-413. Springer, Heidelberg (1994)
9. Villard, J., Lozes, É., Calcagno, C.: Proving Copyless Message Passing. In: Hu, Z. (ed.) APLAS 2009. LNCS, vol. 5904, pp. 194-209. Springer, Heidelberg (2009)