3311 search results - page 116 / 663 » Deductive Object Programming |
112
click to vote
MP
2006
15 years 1 months ago
2006
Abstract. Traditional stochastic programming is risk neutral in the sense that it is concerned with the optimization of an expectation criterion. A common approach to addressing ri...
180
click to vote
POPL
2002
ACM
16 years 1 months ago
2002
ACM
We present a new role system in which the type (or role) of each object depends on its referencing relationships with other objects, with the role changing as these relationships ...
126
click to vote
JAVA
2000
Springer
15 years 5 months ago
2000
Springer
We describe a new approach to object replication in Java, aimed at improving the performance of parallel programs. Our programming model allows the programmer to define groups of ...
120
click to vote
ITICSE
2003
ACM
15 years 7 months ago
2003
ACM
The high variability of students’ backgrounds typically found in introductory programming courses creates additional difficulties to foster motivation and ensure the desired co...
203
click to vote
POPL
2003
ACM
16 years 1 months ago
2003
ACM
We present an interprocedural and compositional algorithm for finding pairs of compatible allocation sites, which have the property that no object allocated at one site is live at...