2520 search results - page 165 / 504 » Model-checking behavioral programs |
164
click to vote
ICLP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Information about the nondeterminism behavior of a functional logic program is important for various reasons. For instance, a nondeterministic choice in I/O operations re...
170
click to vote
AGP
1998
IEEE
15 years 10 months ago
1998
IEEE
Visualization of program executions has been found useful in applications which include education and debugging. However, traditional visualization techniques often fall short of ...
152
click to vote
SOCO
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. The ability to debug programs composed using aspect-oriented programming (AOP) techniques is critical to the adoption of AOP. Nevertheless, many AOP systems lack adequate...
185
click to vote
ICCS
2009
Springer
16 years 24 days ago
2009
Springer
We present a modular approach to realizing fine-grained adaptation of program behavior in a parallel environment. Using a compositional framework based on function call intercepti...
196
click to vote
WOA
2003
15 years 7 months ago
2003
— This paper describes a research experiment carried out at the University of Catania, aiming at testing and evaluating the applicability of the Erlang language in programming mu...