3693 search results - page 5 / 739 » Splitting a Logic Program |
156
click to vote
CC
2009
Springer
15 years 10 months ago
2009
Springer
Register allocation decides which parts of a variable's live range are held in registers and which in memory. The compiler inserts spill code to move the values of variables b...
SC
1993
ACM
15 years 1 months ago
1993
ACM
ORL
2007
14 years 9 months ago
2007
80
Voted
CADE
2004
Springer
15 years 9 months ago
2004
Springer
ended abstract motivates and presents techniques for identifying variable independence in free variable calculi for classical logic without equality. Two variables are called indep...
63
Voted
Publication
_1990.jpg "Arity Raiser and its Use in Program Specialization")
Experiments on generating compilers by specializing specializers with respect to interpreters have shown that the compilers thus obtained have a natural structure only if the speci...