2000 search results - page 220 / 400 » Program Transformation and Proof Transformation |
129
click to vote
GPCE
2005
Springer
15 years 9 months ago
2005
Springer
We describe the application of generative programming to a problem in interactive information retrieval. The particular interactive information retrieval problem we study is the su...
132
click to vote
ESORICS
2004
Springer
15 years 9 months ago
2004
Springer
Parameters of a program’s runtime environment such as the machine architecture and operating system largely determine whether a vulnerability can be exploited. For example, the m...
140
Voted
FOIKS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Ordered Choice Logic Programming (OCLP) allows for dynamic preference-based decision-making with multiple alternatives without the need for any form of negation. This com...
126
click to vote
GG
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Graph programs as introduced by Habel and Plump [8] provide a simple yet computationally complete language for computing functions and relations on graphs. We extend this...
139
click to vote
PEPM
1999
ACM
15 years 8 months ago
1999
ACM
Aspect-oriented programming addresses the problem that the implementation of some properties such as error handling and optimization tends to cross-cut the basic functionality. To...