2944 search results - page 19 / 589 » On Well Quasi-orders on Languages |
TAPSOFT
1997
Springer
14 years 22 days 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...
MEMOCODE
2003
IEEE
14 years 1 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
14 years 9 months 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...
PLDI
2012
ACM
11 years 11 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
13 years 10 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...