Sciweavers

10871 search results - page 168 / 2175
» A stable programming language
Sort
View
239
Voted
POPL
2004
ACM
16 years 2 months ago
Precise interprocedural analysis through linear algebra
Helmut Seidl, Markus Müller-Olm
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...