1210 search results - page 164 / 242 » Formal Techniques for Java Programs |
112
Voted
FORMATS
2010
Springer
15 years 6 days ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
141
Voted
POPL
2010
ACM
15 years 4 months ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...
237
Voted
POPL
2004
ACM
16 years 2 months ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
143
Voted
INFORMS
1998
15 years 1 months ago
1998
constraint abstractions into integer programming, and to discuss possible combinations of the two approaches. Combinatorial problems are ubiquitous in many real world applications ...
119
Voted
ITICSE
2006
ACM
15 years 8 months ago
2006
ACM
The release of Curriculum 2001 coupled with the increasing importance of the World Wide Web and the changes in pedagogy enabled by new technologies has made the choices about what...