1359 search results - page 44 / 272 » Black-Box Program Specialization |
124
click to vote
APLAS
2007
ACM
15 years 6 months ago
2007
ACM
We develop virtual machines and compilers for a multi-level language, which supports multi-stage specialization by composing program fragments with quotation mechanisms. We conside...
123
click to vote
FECS
2007
15 years 3 months ago
2007
Computing professionals are employed in so many different ways that it is difficult to even define the common foundation that all of them should master; however, a single degree ...
102
click to vote
AIMSA
2000
Springer
15 years 6 months ago
2000
Springer
Inductive Logic Programming (ILP) deals with inducing clausal theories from examples basically through generalization or specialization. The specialization and generalization oper...
171
click to vote
DLS
2010
15 years 14 days ago
2010
Dynamic languages such as Python allow programs to be written more easily using high-level constructs such as comprehensions for queries and using generic code. Efficient executio...
136
click to vote
LOPSTR
1997
Springer
15 years 6 months ago
1997
Springer
Synthesis of logic programs is considered as a special instance of logic programming. We describe experience made within a logical metaprogramming environment whose central compone...