8232 search results - page 297 / 1647 » Dynamic Logic Programming |
203
click to vote
FAC
2007
15 years 6 months ago
2007
Abstract. The Verifying Compiler (VC) project proposals suggest that mainstream software developers are its targeted end-users. Like other software engineering efforts, the VC proj...
182
click to vote
AIML
2004
15 years 8 months ago
2004
In this paper we study the relation between two approaches to information change: Dynamic Epistemic Logic and Belief Revision. One of the main differences between these approaches...
152
click to vote
DYNAMO
2000
15 years 8 months ago
2000
Dynamic program optimization allows programs to be generated that are highly tuned for a given environment and input data set. Optimization techniques can be applied and re-applie...
169
click to vote
TOOLS
2008
IEEE
16 years 1 months ago
2008
IEEE
There is a growing research interest in employing the logic paradigm for making queries on software in general, and OOP software in particular. We describes a side-effect-free tech...
196
click to vote
SEKE
2001
Springer
15 years 11 months ago
2001
Springer
Source code analysis and inspection does not provide enough information to describe the structure of an objectoriented program completely because there are components and relation...