https://github.com/kanetw/bachelor-thesis-public

Refining heap-shape information for Java programs using reachable types
https://github.com/kanetw/bachelor-thesis-public

Last synced: 9 days ago
JSON representation

Refining heap-shape information for Java programs using reachable types

• Host: GitHub
• URL: https://github.com/kanetw/bachelor-thesis-public
• Owner: KaneTW
• Created: 2017-03-30T17:44:28.000Z (almost 8 years ago)
• Default Branch: master
• Last Pushed: 2017-03-30T17:47:03.000Z (almost 8 years ago)
• Last Synced: 2024-11-06T13:01:43.848Z (about 2 months ago)
• Language: TeX
• Size: 47.9 KB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Refining heap-shape information for Java programs with reachable types

My bachelor thesis. It requires XeTeX and the lucidaot fonts (http://tug.org/store/lucida) to compile; reasonable results are possible by removing references to them. 

A compiled version is available at https://kane.cx/~kane/dkr_thesis_final.pdf