Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Josh Berdine
Josh Berdine, Cristiano Calcagno, and Peter W. O'Hearn. Symbolic Execution with Separation Logic. (.pdf)
Extended version of paper to appear in APLAS 2005.
Josh Berdine, Cristiano Calcagno, and Peter W. O'Hearn. A Decidable Fragment of Separation Logic. (.pdf)
In K. Lodaya and M. Mahajan (Eds.): FSTTCS 2004, LNCS 3328, pp. 97-109, 2004.
Joshua James Berdine. Linear and Affine Typing of Continuation-Passing Style. (.pdf, booklet .pdf, official .pdf)
PhD thesis, Queen Mary, University of London, London, United Kingdom, 2004.
Examined by Olivier Danvy and Michael Huth.
Josh Berdine, Peter O'Hearn, and Hayo Thielecke. Extracting the Range of CPS from Affine Typing: Extended Abstract. (.pdf)
Presented at FLoC'02 Workshop on Linear Logic (LL 2002), July 2002.
Josh Berdine, Peter W. O'Hearn, Uday S. Reddy, and Hayo Thielecke. Linearly Used Continuations. (.pdf)
In Amr Sabry, editor, Proceedings of The Third ACM SIGPLAN Workshop on Continuations (CW'01), pages 47-54. Technical Report No. 545, Computer Science Department, Indiana University, December 2000. (.ps, .pdf)
Superceded by Linear Continuation-Passing.