2944 search results - page 19 / 589 » On Well Quasi-orders on Languages |
120
click to vote
TAPSOFT
1997
Springer
15 years 3 months ago
1997
Springer
We present a typed intermediate language λCIL for optimizing compilers for function-oriented and polymorphically typed programming languages (e.g., ML). The language λCIL is a ty...
123
click to vote
MEMOCODE
2003
IEEE
15 years 5 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
CADE
2006
Springer
16 years 3 days ago
2006
Springer
One of the keys to the success of the TPTP and related projects is their consistent use of the TPTP language. The ability of the TPTP language to express solutions as well as probl...
113
click to vote
PLDI
2012
ACM
13 years 2 months ago
2012
ACM
Research scientists and medical professionals use imaging technology, such as computed tomography (CT) and magnetic resonance imaging (MRI) to measure a wide variety of biological...
COLING
1996
15 years 1 months ago
1996
In this paper, we want to describe a tagger/lemmatiser for Dutch medical vocabulary, which consists of a full-form dictionary and a morphological recogniser for unknown vocabulary...