3693 search results - page 5 / 739 » Splitting a Logic Program |
CC
2009
Springer
14 years 8 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
13 years 12 months ago
1993
ACM
ORL
2007
13 years 7 months ago
2007
CADE
2004
Springer
14 years 8 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...
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...