3056 search results - page 360 / 612 » Compiling Embedded Languages |
112
click to vote
BIRTHDAY
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. This paper gives a reduction-preserving translation from Coquand's dependent pattern matching [4] into a traditional type theory [11] with universes, inductive types...
119
click to vote
TPHOL
2000
IEEE
15 years 6 months ago
2000
IEEE
The IA-64 architecture defers floating point and integer division to software. To ensure correctness and maximum efficiency, Intel provides a number of recommended algorithms which...
110
click to vote
ICWS
2003
IEEE
15 years 3 months ago
2003
IEEE
— The relation between DAML-S, a language for the description of Web services grounded in the Semantic Web, and the growing Web services infrastructure based on WSDL is, by an la...
123
click to vote
COLING
1996
15 years 3 months ago
1996
Automatic compilation of the linking relation employed in certain parsing algorithms for context-free languages is examined. Special problems arise in the extension of these algor...
106
click to vote
ACL
1990
15 years 3 months ago
1990
In this paper, we report on our use of zero morphemes in Unification-Based Combinatory Categorial Grammar. After illustrating the benefits of this approach with several examples, ...