1911 search results - page 268 / 383 » Program analysis for code duplication in logic programs |
105
click to vote
ISCA
2003
IEEE
15 years 7 months ago
2003
IEEE
In a single second a modern processor can execute billions of instructions. Obtaining a bird’s eye view of the behavior of a program at these speeds can be a difficult task whe...
115
Voted
ESOP
2001
Springer
15 years 7 months ago
2001
Springer
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [CG98]. We consider an Ambient Calculus where ambients...
138
click to vote
LOPSTR
1992
Springer
15 years 6 months ago
1992
Springer
We present a self-applicable partial evaluator for a large subset of full Prolog. The partial evaluator, called Logimix, is the result of applying our experience from partial eval...
118
Voted
SNPD
2008
15 years 4 months ago
2008
In the social reality, objects communicate with each other by means of assuming roles to establish collaboration, and then can adaptively change their roles to obtain other intera...
193
Voted
ICLP
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. The overhead of matching CHR rules is alleviated by constraint store indexing. Attributed variables provide an efficient means of indexing on logical variables. Existing ...