177
Voted
POPL
2003
ACM
16 years 20 days ago
2003
ACM
189
Voted
POPL
2003
ACM
16 years 20 days ago
2003
ACM
We introduce a notion of guarded recursive (g.r.) datatype constructors, generalizing the notion of recursive datatypes in functional programming languages such as ML and Haskell....
200
Voted
POPL
2003
ACM
16 years 20 days ago
2003
ACM
Multimedia and network processing applications make extensive use of subword data. Since registers are capable of holding a full data word, when a subword variable is assigned a r...
165
Voted
POPL
2003
ACM
16 years 20 days ago
2003
ACM
171
click to vote
POPL
2003
ACM
16 years 20 days ago
2003
ACM
The World-Wide Web Consortium (W3C) promotes XML and related standards, including XML Schema, XQuery, and XPath. This paper describes a formalization XML Schema. A formal semantic...
170
Voted
POPL
2003
ACM
16 years 20 days ago
2003
ACM
166
Voted
POPL
2003
ACM
16 years 20 days ago
2003
ACM
172
Voted
POPL
2003
ACM
16 years 20 days ago
2003
ACM
We show how to efficiently obtain linear a priori bounds on the heap space consumption of first-order functional programs. The analysis takes space reuse by explicit deallocation ...
220
click to vote
POPL
2003
ACM
16 years 20 days ago
2003
ACM
We present a new polynomial-time randomized algorithm for discovering affine equalities involving variables in a program. The key idea of the algorithm is to execute a code fragme...
181
click to vote
POPL
2003
ACM
16 years 20 days ago
2003
ACM
We present an interprocedural and compositional algorithm for finding pairs of compatible allocation sites, which have the property that no object allocated at one site is live at...