12 search results - page 3 / 3 » Determining the consistency of partial tree descriptions |
IJSI
2008
13 years 5 months ago
2008
Abstract In a line of recent development, probabilistic constructions of universal, homogeneous objects have been provided in various categories of ordered structures, such as caus...
PLDI
1997
ACM
13 years 9 months ago
1997
ACM
Set-based analysis is a constraint-based whole program analysis that is applicable to functional and objectoriented programming languages. Unfortunately, the analysis is useless f...