Video

Unknown · 0:00

Implementing hybrid resource analysis in RAML 2, this talk shows how to combine RAML's automatic-but-loose polynomial cost bounds with data-driven analysis to get tight, near-sound logarithmic bounds (e.g., O(N log N)...

Read the full summary on tuber