42 search results - page 6 / 9 » A Toolkit for Constructing Type- and Constraint-Based Progra... |
147
Voted
COLING
2010
14 years 10 months ago
2010
The mwetoolkit is a tool for automatic extraction of Multiword Expressions (MWEs) from monolingual corpora. It both generates and validates MWE candidates. The generation is based...
116
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We present a non-null annotations inferencer for the Java bytecode language. We previously proposed an analysis to infer non-null annotations and proved it soundness and completen...
149
click to vote
IFL
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...
101
Voted
ICALP
2010
Springer
15 years 8 months ago
2010
Springer
We show that the downward-closure of a Petri net language is effectively computable. This is mainly done by using the notions defined for showing decidability of the reachability...
108
click to vote
PPOPP
2010
ACM
16 years 17 days ago
2010
ACM
We present a core calculus with two of X10's key constructs for parallelism, namely async and finish. Our calculus forms a convenient basis for type systems and static analys...