884 search results - page 89 / 177 » Using Nested Logic Programs for Answer Set Programming |
117
click to vote
SSR
2001
15 years 3 months ago
2001
The visitor pattern is appealing to developers of program-analysis tools because it separates the design of the data structures that represent a program from the design of softwar...
115
Voted
ESOP
2003
Springer
15 years 7 months ago
2003
Springer
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...
129
click to vote
AGP
1994
IEEE
15 years 5 months ago
1994
IEEE
This paper considers compositions of conditional term rewriting systems as a basis for a modular approach to the design and analysis of equational logic programs. In this context,...
SIGCSE
2009
ACM
16 years 2 months ago
2009
ACM
It is difficult for instructors of CS1 and CS2 courses to get accurate answers to such critical questions as "how long are students spending on programming assignments?"...
GPCE
2004
Springer
15 years 7 months ago
2004
Springer
This paper describes Splice, a system for writing aspects that perform static program analyses to direct program modifications. The power of an inter-procedural data-flow analys...