4355 search results - page 195 / 871 » From Interpretation to Compilation |
123
click to vote
FLAIRS
2007
15 years 6 months ago
2007
In this paper, we present a machine learning based approach for estimating antecedents of anaphorically used personal pronouns in Turkish sentences using a decision tree classific...
140
click to vote
IJCAI
1993
15 years 5 months ago
1993
SEQUEL is a new-generation functional programming language, which allows the specification of types in a notation based on the sequent calculus. The sequent calculus notation suff...
128
Voted
HASKELL
2009
ACM
15 years 11 months ago
2009
ACM
Data-type generic programming can be used to traverse and manipulate specific parts of large heterogeneously-typed tree structures, without the need for tedious boilerplate. Gene...
120
click to vote
ECRTS
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper we present co-transformation, a novel approach to the mapping of execution information from the source code of a program to the object code for the purpose of worst-...
142
click to vote
LCTRTS
2000
Springer
15 years 8 months ago
2000
Springer
This paper presents a general approach to automatically validate code-improving transformations on low-level program representations. The approach ensures the correctness of compi...