4469 search results - page 62 / 894 » Dynamic Program Slicing |
131
click to vote
SAIG
2001
Springer
15 years 2 months ago
2001
Springer
A characteristic of aspect-oriented programming, as embodied in AspectJ, is the use of advice to incrementally modify the behavior of a program. An advice declaration specifies a...
170
click to vote
ECOOP
2009
Springer
15 years 10 months ago
2009
Springer
The dynamic frames approach has proven to be a powerful formalism for specifying and verifying object-oriented programs. However, it requires writing and checking many frame annota...
JAVA
1999
Springer
15 years 2 months ago
1999
Springer
This chapter presents a dynamic denotational semantics of the Java programming language. This semantics covers almost the full range of the base language, excluding only concurrenc...
117
click to vote
EPIA
2001
Springer
15 years 2 months ago
2001
Springer
This paper explores the applicability of the new paradigm of Multi-dimensional Dynamic Logic Programming to represent an agent’s view of the combination of societal knowledge dyn...
CL
2000
Springer
15 years 2 months ago
2000
Springer
This paper explores the applicability of the new paradigm of Multi-dimensional Dynamic Logic Programming to represent an agent’s view of the combination of societal knowledge dyn...