|
Engineering mathematics: the odd order theorem proof
By Georges Gonthier 1 
· 0 
·
from
POPL 2010
·
published 01/2013
|
|
|
Full abstraction for nominal Scott domains
By Steffen Lösch, Andrew M. Pitts 1
· 0
·
from
POPL 2010
·
published 01/2013
|
|
|
The sequential semantics of producer effect systems
By Ross Tate 1
· 0
·
from
POPL 2010
·
published 01/2013
|
|
|
Copatterns: programming infinite structures by observations
By Andreas Abel, Brigitte Pientka, David Thibodeau, Anton Setzer 1
· 0
·
from
POPL 2010
·
published 01/2013
|
|
|
Cache and I/O efficent functional algorithms
By Guy E. Blelloch, Robert Harber 1
· 0
·
from
POPL 2010
·
published 01/2013
|
|
|
On the linear ranking problem for integer linear-constraint loops
By Amir M. Ben-Amram, Samir Genaim 1
· 0
·
from
POPL 2010
·
published 01/2013
|
|
|
Advanced automata minimization
By Richard Mayr, Lorenzo Clemente 1
· 0
·
from
POPL 2010
·
published 01/2013
|
|
|
Automating relatively complete verification of higher-order functional programs
By Hiroshi Unno, Tachio Terauchi, Naoki Kobayashi 1
· 0
·
from
POPL 2010
·
published 01/2013
|
|
|
Abstraction and invariance for algebraically indexed types
By Robert Atkey, Patricia Johann, Andrew Kennedy 1
· 0
·
from
POPL 2010
·
published 01/2013
|
|
|
Static and dynamic semantics of NoSQL languages
By Véronique Benzaken, Giuseppe Castagna, Kim Nguyen, Jérôme Siméon 1
· 0
·
from
POPL 2010
·
published 01/2013
|
|
|
Quantitative abstraction refinement
By Pavol Cerny, Thomas A. Henzinger, Arjun Radhakrishna 1
· 0
·
from
POPL 2010
·
published 01/2013
|
|
|
Inductive data flow graphs
By Azadeh Farzan, Zachary Kincaid, Andreas Podelski 1
· 0
·
from
POPL 2010
·
published 01/2013
|
|
|
Abstract conflict driven learning
By Vijay D'Silva, Leopold Haller, Daniel Kroening 1
· 0
·
from
POPL 2010
·
published 01/2013
|
|
|
The Lambda Lambda-Bar calculus: a dual calculus for unconstrained strategies
By Alexis Goyet 1
· 0
·
from
POPL 2010
·
published 01/2013
|
|
|
|
|
|
Universal properties of impure programming languages
By Sam Staton, Paul Blain Levy 1
· 0
·
from
POPL 2010
·
published 01/2013
|
|
|
The power of parameterization in coinductive proof
By Chung-Kil Hur, Georg Neis, Derek Dreyer, Viktor Vafeiadis 1
· 0
·
from
POPL 2010
·
published 01/2013
|
|
|
Meta-theory à la carte
By Benjamin Delaware, Bruno C. d. S. Oliveira, Tom Schrijvers 1
· 0
·
from
POPL 2010
·
published 01/2013
|
|
|
A theorem prover for Boolean BI
By Jonghyun Park, Jeongbong Seo, Sungwoo Park 1
· 0
·
from
POPL 2010
·
published 01/2013
|
|
|
Library abstraction for C/C++ concurrency
By Mark Batty, Mike Dodds, Alexey Gotsman 1
· 0
·
from
POPL 2010
·
published 01/2013
|
|
|
Fault tolerance via idempotence
By Ganesan Ramalingam, Kapil Vaswani 1
· 0
·
from
POPL 2010
·
published 01/2013
|
|
|
Deadlock-freedom-by-design: multiparty asynchronous global programming
By Marco Carbone, Fabrizio Montesi 1
· 0
·
from
POPL 2010
·
published 01/2013
|
|
|
The type discipline of behavioral separation
By Luís Caires, João C. Seco 1
· 0
·
from
POPL 2010
·
published 01/2013
|
|
|
Views: compositional reasoning for concurrent programs
By Thomas Dinsdale-Young, Lars Birkedal, Philippa Gardner, Matthew Parkinson, Hongseok Yang 1
· 0
·
from
POPL 2010
·
published 01/2013
|
|
|
High-level separation logic for low-level code
By Jonas B. Jensen, Nick Benton, Andrew Kennedy 1
· 0
·
from
POPL 2010
·
published 01/2013
|
|
|
Quantitative relaxation of concurrent data structures
By Thomas A. Henzinger, Christoph M. Kirsch, Hannes Payer, Ali Sezgin, Ana Sokolova 1
· 0
·
from
POPL 2010
·
published 01/2013
|
|
|
Plan B: a buffered memory model for Java
By Delphine Demange, Vincent Laporte, Lei Zhao, Suresh Jagannathan, David Pichardie, Jan Vitek 1
· 0
·
from
POPL 2010
·
published 01/2013
|
|
|
Logical relations for fine-grained concurrency
By Aaron J. Turon, Jacob Thamsborg, Amal Ahmed, Lars Birkedal, Derek Dreyer 1
· 0
·
from
POPL 2010
·
published 01/2013
|
|
|
Linear dependent types for differential privacy
By Marco Gaboardi, Andreas Haeberlen, Justin Hsu, Arjun Narayan, Benjamin C. Pierce 1
· 0
·
from
POPL 2010
·
published 01/2013
|
|
|
Fully abstract compilation to JavaScript
By Cedric Fournet, Nikhil Swamy, Juan Chen, Pierre-Evariste Dagand, Pierre-Yves Strub, Benjamin Livshits 1
· 0
·
from
POPL 2010
·
published 01/2013
|
Author profiles -- Claim your papers. Groups -- Create a group for your department. Paper revisions and version control.
Log in