Brookes, S., Main, M., Melton, A., and Mislove, M., Eds. Mathematical Foundations of Programming Semantics, Eleventh Annual Conference (Tulane University, New Orleans, Louisiana, March 29{April 1 1995), vol. 1 of Electronic Notes in Theoretical Computer Science, Elsevier Science. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
BI as an Assertion Language for Mutable Data Structures - Samin Ishtiaq Peter (2000) (82 citations) (Correct)
No context found.
Brookes, S., Main, M., Melton, A., and Mislove, M., Eds. Mathematical Foundations of Programming Semantics, Eleventh Annual Conference (Tulane University, New Orleans, Louisiana, March 29{April 1 1995), vol. 1 of Electronic Notes in Theoretical Computer Science, Elsevier Science.
BI as an Assertion Language for Mutable Data Structures - Samin Ishtiaq Peter (2000) (82 citations) (Correct)
No context found.
Brookes, S., Main, M., Melton, A., and Mislove, M., Eds. Mathematical Foundations of Programming Semantics, Eleventh Annual Conference (Tulane University, New Orleans, Louisiana, March 29{April 1 1995), vol. 1 of Electronic Notes in Theoretical Computer Science, Elsevier Science.
BI as an Assertion Language for Mutable Data Structures - Ishtiaq, O'Hearn (2000) (82 citations) (Correct)
No context found.
Brookes, S., Main, M., Melton, A., and Mislove, M., Eds. Mathematical Foundations of Programming Semantics, Eleventh Annual Conference (Tulane University, New Orleans, Louisiana, March 29--April 1 1995), vol. 1 of Electronic Notes in Theoretical Computer Science, Elsevier Science.
CPO Models for GSOS Languages - Part I: Compact GSOS Languages - Aceto, Ingólfsdóttir (1994) (2 citations) (Correct)
No context found.
S. Brookes, M. Main, A. Melton, M. Mislove, and D. Schmidt, eds., Mathematical Foundations of Programming Semantics, 7 International Conference, Pittsburgh, PA, USA, March 1991, vol. 598 of Lecture Notes in Computer Science,
The Logic of Bunched Implications - O'Hearn, Pym (1999) (15 citations) (Correct)
No context found.
S. Brookes, M. Main, A. Melton, and M. Mislove (editors), Mathematical foundations of programming semantics, eleventh annual conference, Electronic Notes in Theoretical Computer Science, vol. 1, Elsevier Science, 1995, Tulane University, New Orleans, Louisiana.
BI as an Assertion Language for Mutable Data Structures - Ishtiaq, O'Hearn (2000) (82 citations) (Correct)
No context found.
Brookes, S., Main, M., Melton, A., and Mislove, M., Eds. Mathematical Foundations of Programming Semantics, Eleventh Annual Conference (Tulane University, New Orleans, Louisiana, March 29{April 1 1995), vol. 1 of Electronic Notes in Theoretical Computer Science, Elsevier Science.
From Algol to Polymorphic Linear Lambda-calculus - O'Hearn, Reynolds (1997) (18 citations) (Correct)
No context found.
Brookes, S., Main, M., Melton, A., and Mislove, M. Eds. 1995. Mathematical Foundations of Programming Semantics, Eleventh Annual Conference, Volume 1 of Electronic Notes in Theoretical Computer Science (Tulane University, New Orleans, Louisiana, March 29--April 1 1995). Elsevier Science.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC