Normal view MARC view ISBD view

Analysis of dynamic message passing programs

By: Zufferey, Damien.
Material type: materialTypeLabelBookPublisher: IST Austria 2013
Contents:
1 Introduction, motivation, and related work
2 Toward a forward analysis of depth-bounded systems: domain of limits
3 Bridging the gap between theory and practice: ideal abstraction
4 Implementation: Picasso
5 Extensions: termination of depth-bounded systems, dynamic package interfaces
6 Conclusion
List(s) this item appears in: IST Austria Thesis 2018
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Item type Current location Call number Status Date due Barcode Item holds
Book Book Library
Available AT-ISTA#001148
Total holds: 0

Thesis

1 Introduction, motivation, and related work

2 Toward a forward analysis of depth-bounded systems: domain of limits

3 Bridging the gap between theory and practice: ideal abstraction

4 Implementation: Picasso

5 Extensions: termination of depth-bounded systems, dynamic package interfaces

6 Conclusion

There are no comments for this item.

Log in to your account to post a comment.

Powered by Koha

//