Linear Time Hierarchies for a Functional Language Machine Model
No abstract available.
Related papers
- A functional proof pearl: inverting the Ackermann hierarchy CPP 2020
- Elementary Linear Logic Revisited for Polynomial Time and an Exponential Time Hierarchy APLAS 2011
- A linear-time algorithm for optimal barrier placement PPoPP 2005
- An operational semantics and type safety prooffor multiple inheritance in C++ OOPSLA 2006
- On-chip cache hierarchy-aware tile scheduling for multicore machines CGO 2011
- Relating complexity and precision in control flow analysis ICFP 2007
- Certified undecidability of intuitionistic linear logic via binary stack machines and minsky machines CPP 2019
- Adventures in monitorability: from branching to linear time and back again POPL 2019