3481 search results - page 519 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
139
click to vote
TLDI
2010
ACM
16 years 13 days ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
120
click to vote
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
We present the first shape analysis for multithreaded programs that avoids the explicit enumeration of execution-interleavings. Our approach is to automatically infer a resource ...
114
Voted
HASKELL
2009
ACM
15 years 10 months ago
2009
ACM
In this paper we describe the architecture of the Utrecht Haskell Compiler (UHC). UHC is a new Haskell compiler, that supports most (but not all) Haskell 98 features, plus some ex...
114
Voted
MIDDLEWARE
2007
Springer
15 years 9 months ago
2007
Springer
Developing applications for sensor networks is a challenging task. Most programming systems narrowly focus on programming issues while ignoring that programming represents only a ...
113
Voted
SAS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...