1
Published 2005
Table of Contents: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...
View full text
Electronic eBook