2944 search results - page 533 / 589 » Robust Semantic Construction |
127
click to vote
COLING
2010
14 years 7 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...
102
click to vote
ICSE
2011
IEEE-ACM
14 years 4 months ago
2011
IEEE-ACM
Developers who write code in a statically typed language are denied the ability to obtain dynamic feedback by executing their code during periods when it fails the static type che...
111
click to vote
POPL
2012
ACM
13 years 8 months ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
128
Voted
POPL
2012
ACM
13 years 8 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
PPOPP
2012
ACM
13 years 8 months ago
2012
ACM
The actor model has already proven itself as an interesting concurrency model that avoids issues such as deadlocks and race conditions by construction, and thus facilitates concur...