1901 search results - page 134 / 381 » Predicting Program Properties from |
115
click to vote
ILP
2000
Springer
15 years 6 months ago
2000
Springer
First-order probabilistic models are recognized as efficient frameworks to represent several realworld problems: they combine the expressive power of first-order logic, which serv...
111
click to vote
CONCUR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We present a new method for proving liveness and termination properties for fair concurrent programs, which does not rely on finding a ranking function or on computing th...
125
click to vote
WSE
2006
IEEE
15 years 9 months ago
2006
IEEE
A challenge of existing program comprehension approaches is to provide consistent and flexible representations for software systems. Maintainers have to match their mental models ...
102
click to vote
SOFTVIS
2005
ACM
15 years 8 months ago
2005
ACM
In this paper we present an approach to modeling and visualizing the dynamic interactions among objects in a C++ application. We exploit UML diagrams to expressively visualize bot...
124
click to vote
PASTE
1998
ACM
15 years 7 months ago
1998
ACM
Concept analysis transforms any relation between ‘lobjects” and “attributes” into a complete lattice. This concept lattice can be studied by algebraic means and offers rem...