1117 search results - page 105 / 224 » Partial Models of Extended Generalized Logic Programs |
113
click to vote
DAGSTUHL
1996
15 years 2 months ago
1996
A supercompiler is a program which can performa deep transformation of programsusing a principle which is similarto partial evaluation, and can be referred to as metacomputation. ...
117
Voted
CADE
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Saturation-based calculi such as superposition can be successfully instantiated to decision procedures for many decidable fragments of first-order logic. In case of termi...
134
click to vote
SAC
2009
ACM
15 years 6 months ago
2009
ACM
Generally progressive procedural content in the context of 3D scene rendering is expressed as recursive functions where a finer level of detail gets computed on demand. Typical e...
235
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
Speed improvements in today's processors have largely been delivered in the form of multiple cores, increasing the importance of ions that ease parallel programming. Software...
156
click to vote
ASE
1998
15 years 1 months ago
1998
The process of understanding a source code in a high-level programming language involves complex computation. Given a piece of legacy code and a library of program plan templates, ...