578 search results - page 67 / 116 » Analysis of Programs with Exception-Handling Constructs |
CAINE
2003
13 years 9 months ago
2003
This paper discusses the development of a computational modeling and analysis toolkit to construct, animate, and biomechanically analyze sophisticated models of vertebrates. Users...
SCP
1998
13 years 7 months ago
1998
Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are preserved as the computation...
POPL
2012
ACM
12 years 3 months ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
EMO
2005
Springer
14 years 1 months ago
2005
Springer
Water systems often allow efficient water uses via water reuse and/or recirculation. Defining the network layout connecting water-using processes is a complex problem which involv...
SIGADA
2004
Springer
14 years 29 days ago
2004
Springer
Genetic Algorithms provide computational procedures that are modeled on natural genetic system mechanics, whereby a coded solution is “evolved” from a set of potential solutio...