| Bauer, Sabine (2019): Decidability of linear tree constraints for resource analysis of object-oriented programs. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics |
Preview |
PDF
Bauer_Sabine.pdf 1MB |
DOI: 10.5282/edoc.24526
| Item Type: | Theses (Dissertation, LMU Munich) |
|---|---|
| Subjects: | 000 Computers, Information and General Reference 000 Computers, Information and General Reference > 004 Data processing computer science |
| Faculties: | Faculty of Mathematics, Computer Science and Statistics |
| Language: | English |
| Date of oral examination: | 24. May 2019 |
| 1. Referee: | Beyer, Dirk |
| MD5 Checksum of the PDF-file: | 77785a56272ce2316abb1f5589c08bb9 |
| Signature of the printed copy: | 0001/UMC 26520 |
| ID Code: | 24526 |
| Deposited On: | 16. Aug 2019 08:39 |
| Last Modified: | 23. Oct 2020 15:17 |
Repository Staff Only: item control page
