https://github.com/lorenzleutgeb/atlas

Automated Amortised Complexity Analysis of Self-Adjusting Data Structures
https://github.com/lorenzleutgeb/atlas

amortized-analysis cav2021 splay-tree static-analysis type-system

Last synced: 26 days ago
JSON representation

Automated Amortised Complexity Analysis of Self-Adjusting Data Structures

• Host: GitHub
• URL: https://github.com/lorenzleutgeb/atlas
• Owner: lorenzleutgeb
• License: gpl-3.0
• Created: 2018-11-09T14:31:19.000Z (almost 6 years ago)
• Default Branch: main
• Last Pushed: 2023-06-01T13:24:03.000Z (over 1 year ago)
• Last Synced: 2023-06-01T14:32:55.697Z (over 1 year ago)
• Topics: amortized-analysis, cav2021, splay-tree, static-analysis, type-system
• Language: Java
• Homepage:
• Size: 2.27 MB
• Stars: 5
• Watchers: 3
• Forks: 2
• Open Issues: 5

Awesome Lists containing this project