541 search results - page 19 / 109 » Language Technology Challenges of a 'Small' Language (Catala... |
ITRE
2005
IEEE
14 years 1 months ago
2005
IEEE
— We contrast the current paradigm of information education for the general public with that of mathematics and of foreign languages. This contrast exposes the questionable menta...
POPL
2010
ACM
14 years 5 months ago
2010
ACM
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...
LCPC
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. As parallelism in microprocessors becomes mainstream, new programming languages and environments are emerging to meet the challenges of parallel programming. To support r...
CAINE
2007
13 years 9 months ago
2007
Math search is a new area of research with many enabling technologies but also many challenges. Some of the enabling technologies include XML, XPath, XQuery, and MathML. Some of t...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
This paper presents a case study concerning the challenges and requirements posed by next generation language resources, realized as an overall model of open, distributed and coll...