IFIP
1991
Springer
13 years 10 months ago
1991
Springer
ICALP
1991
Springer
13 years 10 months ago
1991
Springer
ICALP
1991
Springer
13 years 10 months ago
1991
Springer
We give an on-line deterministic algorithm for the weighted bipartite matching problem that achieves a competitive ratio of (2n − 1) in any metric space (where n is the number o...
ICALP
1991
Springer
13 years 10 months ago
1991
Springer
ICALP
1991
Springer
13 years 10 months ago
1991
Springer
ICALP
1991
Springer
13 years 10 months ago
1991
Springer
We give an expected-case analysis of Delaunay triangulations. To avoid edge effects we consider a unit-intensity Poisson process in Euclidean d-space, and then limit attention to...
FPCA
1991
13 years 10 months ago
1991
We tackle the problem of detecting global variables in functional programs. We present syntactic criteria for single-threading which improves upon previous solutions (both syntact...
FPCA
1991
13 years 10 months ago
1991
We develop a calculus for lazy functional programming based on recursion operators associated with data type de nitions. For these operators we derive various algebraic laws that ...
FPCA
1991
13 years 10 months ago
1991
Objects with dynamic types allow the integration of operations that essentially require runtime type-checking into statically-typed languages. This article presents two extensions...
FPCA
1991
13 years 10 months ago
1991
Hannan. Making Abstract Machines Less Abstract . In Proc. of FPCA'91, LNCS 523, pages