Sciweavers

12 search results - page 3 / 3
» On Determining the Consistency of Partial Descriptions of Tr...
Sort
View
IJSI
2008
91views more  IJSI 2008»
13 years 11 months ago
Random Event Structures
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...
Manfred Droste, Guo-Qiang Zhang
PLDI
1997
ACM
14 years 3 months ago
Componential Set-Based Analysis
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...
Cormac Flanagan, Matthias Felleisen