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 (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1003-5197
- ask others
- share record
  persistent 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 (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1005-4844
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1005-4844
David Monniaux:
Automatic Modular Abstractions for Template Numerical Constraints.
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1005-2340
- ask others
- share record
  persistent 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 (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1005-5278
- ask others
- share record
  persistent 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 (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1004-3808
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1004-3808
Chris Hawblitzel, Erez Petrank:
Automated Verification of Practical Garbage Collectors.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1009-2405
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1009-2405
Martín Abadi, Gordon D. Plotkin:
A Model of Cooperative Threads.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1012-1802
- ask others
- share record
  persistent 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.

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.