558 search results - page 16 / 112 » Compiling Resources in a Linear Logic Programming Language |
193
Voted
LISP
2006
15 years 10 days ago
2006
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the igher-order abstract syntax and ...
88
Voted
HASKELL
2009
ACM
15 years 7 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...
89
Voted
ECOOP
2007
Springer
15 years 4 months 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...
142
click to vote
ESOP
2000
Springer
15 years 4 months ago
2000
Springer
We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but...
117
click to vote
EMNLP
2009
14 years 10 months ago
2009
Polarity lexicons have been a valuable resource for sentiment analysis and opinion mining. There are a number of such lexical resources available, but it is often suboptimal to us...