Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Stuart Byma
Detailed Heap Profiling
ACM SIGPLAN Notices
Computer Science
Related publications
On Fraenkel’s N-Heap Wythoff’s Conjectures
Annals of Combinatorics
Combinatorics
Discrete Mathematics
Type-Based Amortised Heap-Space Analysis
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Unconnected Heap of Duties?
Philosophical Quarterly
Philosophy
Sparse Polynomial Division Using a Heap
Journal of Symbolic Computation
Computational Mathematics
Number Theory
Algebra
Automatic Inference of Heap Properties Exploiting Value Domains
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Existential Heap Abstraction Entailment Is Undecidable
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verifying Temporal Heap Properties Specified via Evolution Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automatic Numeric Abstractions for Heap-Manipulating Programs
Leader Election Using Modified Heap Tree Method
International Journal of Computer Applications
