1310 search results - page 144 / 262 » Parameterized Partial Evaluation |
157
click to vote
ECAI
1992
Springer
15 years 10 months ago
1992
Springer
The cooperation knowledge level is a new computer level specifically for multi-agent problem solvers which describes rich and explicit models of common social phenomena. A cooperat...
156
click to vote
PLILP
1994
Springer
15 years 10 months ago
1994
Springer
In this paper we argue that hand-writing a program generator generator has a number of advantages compared to generating a program generator generator by self-application of a part...
215
click to vote
APLAS
2007
ACM
2007
ACM
The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer
15 years 10 months ago
We rationally reconstruct the core of the Coccinelle system, used for automating and documenting collateral evolutions in Linux device drivers. A denotational semantics of the syst...
201
click to vote
DASFAA
2009
IEEE
15 years 10 months ago
2009
IEEE
We investigate the expressiveness of existing XML keyword search semantics and propose Meaningful Connected Network (MCN) as a new semantics to capture meaningful relationships of ...
175
click to vote
COLT
2004
Springer
15 years 10 months ago
2004
Springer
We study the problem of classifying data in a given taxonomy when classifications associated with multiple and/or partial paths are allowed. We introduce an incremental algorithm u...