Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Thomas Davie
Comprehending Finite Maps for Algorithmic Debugging of Higher-Order Functional Programs
Related publications
Analysing the Complexity of Functional Programs: Higher-Order Meets First-Order
ACM SIGPLAN Notices
Computer Science
Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Comparative Study of Algorithmic Debugging Strategies
Visualization of Higher Order Finite Elements.
A Mechanism for Efficient Debugging of Parallel Programs
Higher Order Cut Finite Elements for the Wave Equation
Journal of Scientific Computing
Numerical Analysis
Applied Mathematics
Computational Theory
Engineering
Computational Mathematics
Mathematics
Theoretical Computer Science
Software
Higher-Order Conformal Decomposition Finite Element Method
PAMM
FoREnSiC– An Automatic Debugging Environment for C Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
