3713 search results - page 506 / 743 » Constructing a Calculus of Programs |
145
Voted
CHARME
2003
Springer
15 years 9 months ago
2003
Springer
This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes o...
167
click to vote
FIDJI
2003
Springer
15 years 9 months ago
2003
Springer
The popular slogan ”write once, run anywhere” effectively renders the expressive capabilities of the Java programming framework for developing, deploying, and reusing target-i...
136
click to vote
PLDI
1990
ACM
15 years 8 months ago
1990
ACM
- This paper describes techniques for optimizing range checks performed to detect array bound violations. In addition to the elimination of range check:s, the optimizations discuss...
174
click to vote
FLOPS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Assertion-based contracts provide a powerful mechanism for stating invariants at module boundaries and for enforcing them uniformly. In 2002, Findler and Felleisen showed...
189
click to vote
JDCTA
2010
14 years 10 months ago
2010
To solve the cruise two-dimensional revenue management problem and develop such an automated system under uncertain environment, a static model which is a stochastic integer progr...