Details
Title
Kandhadai Madhavan, Ravichandhran
Sciper ID
222382
Affiliated labs
LARA
Publications
Algorithmic Resource Verification
Automating Grammar Comparison
Symbolic Resource Bound Inference
Termination of Open Higher-Order Programs
Towards Automating Grammar Equivalence Checking
Verifying Resource Bounds of Programs with Lazy Evaluation and Memoization
Automating Grammar Comparison
Symbolic Resource Bound Inference
Termination of Open Higher-Order Programs
Towards Automating Grammar Equivalence Checking
Verifying Resource Bounds of Programs with Lazy Evaluation and Memoization
Link to search
All resources
Record appears in
Authorities > People