11066 search results - page 127 / 2214 » Linearity in Process Languages |
ICIP
2001
IEEE
14 years 9 months ago
2001
IEEE
PODS
2000
ACM
14 years 17 days ago
2000
ACM
We consider spatial databases in the plane that can be defined by polynomial constraint formulas. Motivated by applications in geographic information systems, we investigate line...
ECOOP
2007
Springer
14 years 3 days ago
2007
Springer
Java(X) is a framework for type refinement. It extends Java's type language with annotations drawn from an algebra X and structural subtyping in terms of the annotations. Each...
FSTTCS
2006
Springer
13 years 12 months ago
2006
Springer
Abstract Decision procedures underlie many program analysis problems. Traditional program analysis algorithms attempt to prove some property about a single, statically-defined prog...
FLOPS
2004
Springer
14 years 1 months ago
2004
Springer
We propose a semantic framework for modelling the linear usage of continuations in typed call-by-name programming languages. On the semantic side, we introduce a construction for c...