2496 search results - page 184 / 500 » Error-detecting properties of languages |
149
click to vote
JFP
2002
15 years 4 months ago
2002
We present CIL , a typed -calculus which serves as the foundation for a typed intermediate language for optimizing compilers for higher-order polymorphic programming languages. Th...
140
click to vote
VL
2010
IEEE
15 years 2 months ago
2010
IEEE
Visual representations are widely used to describe modern-day software systems, but, in most cases, they lack rigour. This paper addresses the problems of formality, rigour and co...
103
click to vote
ACL
2010
15 years 2 months ago
2010
We present a system that learns to follow navigational natural language directions. Where traditional models learn from linguistic annotation or word distributions, our approach i...
132
click to vote
ACL
2011
14 years 8 months ago
2011
Most previous studies of morphological disambiguation and dependency parsing have been pursued independently. Morphological taggers operate on n-grams and do not take into account...
186
click to vote
FORTE
2011
14 years 8 months ago
2011
We present a new, streamlined language of global types equipped with a trace-based semantics and whose features and restrictions are semantically justified. The multi-party sessio...