Sciweavers

26 search results - page 1 / 6
» popl 2012
Sort
View
POPL
2012
ACM
11 years 11 months ago
On the power of coercion abstraction
Julien Cretin, Didier Rémy
POPL
2012
ACM
11 years 11 months ago
Canonicity for 2-dimensional type theory
nvenient way of pattern-matching against abstract data types. Publications: Dissertation
Daniel R. Licata, Robert Harper
POPL
2012
ACM
11 years 11 months ago
Analysis of recursively parallel programs
We propose a general formal model of isolated hierarchical parallel computations, and identify several fragments to match the concurrency constructs present in real-world programm...
Ahmed Bouajjani, Michael Emmi
POPL
2012
ACM
11 years 11 months ago
An executable formal semantics of C with applications
This paper describes an executable formal semantics of C. Being executable, the semantics has been thoroughly tested against the GCC torture test suite and successfully passes 99....
Chucky Ellison, Grigore Rosu
POPL
2012
ACM
11 years 11 months ago
A mechanized semantics for C++ object construction and destruction, with applications to resource management
We present a formal operational semantics and its Coq mechanization for the C++ object model, featuring object construction and destruction, shared and repeated multiple inheritan...
Tahina Ramananandro, Gabriel Dos Reis, Xavier Lero...