ask others

Logical Methods in Computer Science, Special Issue 15

> Home > Journals > Logical Methods in Computer Science

Special Issue of the Symposium on Principles of Programming Languages 2009 [POPL 2009]

- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1003-5197
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1003-5197
Ronald Garcia, Andrew Lumsdaine, Amr Sabry:
Lazy Evaluation and Delimited Control.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1005-4844
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1005-4844
David Monniaux:
Automatic Modular Abstractions for Template Numerical Constraints.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1005-2340
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1005-2340
James Brotherston, Cristiano Calcagno:
Classical BI: Its Semantics and Proof Theory.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1005-5278
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1005-5278
Peter A. Jonsson, Johan Nordlander:
Positive Supercompilation for a Higher-Order Call-By-Value Language.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1004-3808
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1004-3808
Chris Hawblitzel, Erez Petrank:
Automated Verification of Practical Garbage Collectors.
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1009-2405
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1009-2405
Martín Abadi, Gordon D. Plotkin:
A Model of Cooperative Threads.
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1012-1802
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1012-1802
Ross Tate, Michael Stepp, Zachary Tatlock, Sorin Lerner:
Equality Saturation: A New Approach to Optimization.

maintained by

at