86 search results - page 8 / 18 » Version Space Algebra and its Application to Programming by ... |
ICFP
1999
ACM
13 years 12 months ago
1999
ACM
Languages such as Java, ML, Scheme, and Haskell provide automatic storage management, that is, garbage collection. The two fundamental operations performed on a garbagecollected h...
CCE
2006
13 years 7 months ago
2006
7 A flue gas washer is a plant for the absorption of noxious components of industrial gas output. The type of flue gas washers that is considered here is a spray tower. In the towe...
ATVA
2011
Springer
12 years 7 months ago
2011
Springer
In [AKL10], we showed how viewing online algorithms as reactive systems enables the application of ideas from formal verification to the competitive analysis of online algorithms....
SAC
2008
ACM
13 years 7 months ago
2008
ACM
Automatic cost analysis has interesting applications in the context of verification and certification of mobile code. For instance, the code receiver can use cost information in o...
CD
2004
Springer
14 years 1 months ago
2004
Springer
Based on a vision that, in the future, applications will be flexibly built out of small-grained components, we argue that current technologies do not adequately support component d...