Sciweavers

578 search results - page 28 / 116
» Analysis of Programs with Exception-Handling Constructs
Sort
View
VMCAI
2009
Springer
14 years 3 months ago
Mostly-Functional Behavior in Java Programs
We present a lightweight type-and-effect system for Java programs that features two major innovations over extant object-oriented effects systems: initialization effects, which ...
William C. Benton, Charles N. Fischer
GECCO
2009
Springer
121views Optimization» more  GECCO 2009»
14 years 3 months ago
Evolutionary algorithms and dynamic programming
Recently, it has been proven that evolutionary algorithms produce good results for a wide range of combinatorial optimization problems. Some of the considered problems are tackled...
Benjamin Doerr, Anton Eremeev, Christian Horoba, F...
PRIMA
2009
Springer
14 years 3 months ago
An Empirical Study of Agent Programs
Agent-oriented programming has been motivated in part by the conception that high-level programming constructs based on common tions such as beliefs and goals provide appropriate a...
M. Birna van Riemsdijk, Koen V. Hindriks
PLDI
2003
ACM
14 years 1 months ago
Checking and inferring local non-aliasing
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
Alexander Aiken, Jeffrey S. Foster, John Kodumal, ...
WSC
2000
13 years 10 months ago
3D visualization of simulated construction operations
Significant advances have been made in the field of construction process modeling. However, no convenient graphical support tools exist that can depict the modeled operations in 3...
Vineet R. Kamat, Julio C. Martínez