7103 search results - page 547 / 1421 » Program Generation and Components |
147
click to vote
PADL
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. A Prolog implementation of an In-lined Reference Monitoring system prototype for Adobe ActionScript Bytecode programs is presented. Prolog provides an elegant framework f...
179
click to vote
LOPSTR
2009
Springer
16 years 24 days ago
2009
Springer
Proving termination of, or generating efficient control for Constraint Handling Rules (CHR) programs requires information about the kinds of constraints that can show up in the CHR...
153
click to vote
ICRA
2008
IEEE
16 years 21 days ago
2008
IEEE
— Novel tools are needed to deploy multi-agent networks in applications that require a high degree of accuracy in the achievement and maintenance of geometric formations. This is...
147
click to vote
VLDB
1990
ACM
15 years 10 months ago
1990
ACM
Bottom-up evaluation of deductive database programs has the advantage that it avoids repeated computation by storing all intermediate results and replacing recomputation by table ...
153
click to vote
PLILP
1994
Springer
15 years 9 months ago
1994
Springer
We present a strategy to derive an efficient reference count garbage collector for any applicative program by only modifying it on the source code level. The key to the approach is...