624 search results - page 73 / 125 » The Complexity of Type Analysis of Object Oriented Programs |
VMCAI
2010
Springer
14 years 5 months ago
2010
Springer
Tracking subset relations between the contents containers on the heap is fundamental to modeling the semantics of many common programing idioms such as applying a function to a sub...
DAS
2004
Springer
14 years 1 months ago
2004
Springer
Voronoi tessellation of image elements provides an intuitive and appealing definition of proximity, which has been suggested as an effective tool for the description of relations...
WSC
2008
13 years 10 months ago
2008
A large number of operational tools exist to help researchers determine business solutions for their customers. Each individual tool serves a distinct purpose for specific types o...
FSTTCS
2010
Springer
13 years 5 months ago
2010
Springer
We study (collapsible) higher-order pushdown systems -- theoretically robust and well-studied models of higher-order programs -- along with their natural subclass called (collapsi...
ECAI
2004
Springer
14 years 1 months ago
2004
Springer
Model-based diagnosis applied to computer programs has been studied for several years. Although there are still weaknesses in the used models, especially on dealing with dynamic da...