Sciweavers

10666 search results - page 166 / 2134
» Quantum programming languages
Sort
View
240
Voted
POPL
2004
ACM
16 years 2 months ago
Precise interprocedural analysis through linear algebra
Helmut Seidl, Markus Müller-Olm
190
Voted
POPL
2003
ACM
16 years 2 months ago
A type theory for memory allocation and data layout
Leaf Petersen, Robert Harper, Karl Crary, Frank Pf...
193
Voted
POPL
2002
ACM
16 years 2 months ago
Stack inspection: theory and variants
Cédric Fournet, Andrew D. Gordon
172
Voted
POPL
2002
ACM
16 years 2 months ago
Lazy abstraction
Grégoire Sutre, Ranjit Jhala, Rupak Majumda...