1710 search results - page 36 / 342 » High-Level Programs and Program Conditions |
ENTCS
2008
13 years 8 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
LLC
2010
13 years 2 months ago
2010
The interpretation of conditionals in the scope of a quantifier (as in `No student will succeed if he goofs off') presents a troubling puzzle. Either we are forced to abandon...
STVR
2002
13 years 7 months ago
2002
This paper describes the use of conditioned slicing to assist partition testing, illustrating this with a case study. The paper shows how a conditioned slicing tool can be used to...
ICFP
2009
ACM
14 years 2 months ago
2009
ACM
We address the problem of testing and debugging concurrent, distributed Erlang applications. In concurrent programs, race conditions are a common class of bugs and are very hard t...
ESEC
1991
Springer
13 years 11 months ago
1991
Springer
This paper presents a dynamic technique for predicting the e ect that a location" of a program will have on the program's computational behavior. The technique is based ...