31387 search results - page 392 / 6278 » Abstracts |
235
click to vote
TPHOL
2005
IEEE
16 years 1 months ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...
177
click to vote
VMCAI
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
191
click to vote
ESOP
2004
Springer
16 years 28 days ago
2004
Springer
Abstract. Graphs are an intuitive model for states of a (software) system that include pointer structures — for instance, object-oriented programs. However, a naive encoding resu...
170
click to vote
GECCO
2004
Springer
16 years 28 days ago
2004
Springer
Software design techniques emphasize the use of abstractions to help developers deal with the complexity of constructing large and complex systems. These abstractions can also be u...
180
click to vote
TACAS
2004
Springer
16 years 26 days ago
2004
Springer
Abstract. Model checking suffers not only from the state-space explosion problem, but also from the environment modeling problem: how can one create an accurate enough model of the...