2496 search results - page 138 / 500 » Error-detecting properties of languages |
95
Voted
DEBU
2007
15 years 23 days ago
2007
In this paper, we present observations on structural properties of wordnets of three languages: English, Hindi, and Marathi. Hindi and Marathi, spoken widely in India, rank 5th an...
109
Voted
ICALP
2010
Springer
15 years 5 months ago
2010
Springer
We propose a new approach to the notion of recognition, which departs from the classical definitions by three specific features. First, it does not rely on automata. Secondly, it...
88
Voted
ICFP
2008
ACM
16 years 23 days ago
2008
ACM
XML transformations are very sensitive to types: XML types describe the tags and attributes of XML elements as well as the number, kind, and order of their sub-elements. Therefore,...
61
Voted
ICFP
2006
ACM
16 years 23 days ago
2006
ACM
This paper presents the core type system and type inference algorithm of OCamlDuce, a merger between OCaml and XDuce. The challenge was to combine two type checkers of very differ...
81
Voted
FSTTCS
2007
Springer
15 years 7 months ago
2007
Springer
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...