DaCapo
From MaRDI portal
Software:19266
No author found.
Related Items (13)
Semantics and Algorithms for Parametric Monitoring ⋮ DEP+BURST: Online DVFS Performance Prediction for Energy-Efficient Managed Language Execution ⋮ Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances ⋮ Accelerating program analyses in Datalog by merging library facts ⋮ Selective context-sensitivity for \(k\)\textit{-CFA} with CFL-reachability ⋮ Specification-Based Program Repair Using SAT ⋮ Using abstract interpretation to add type checking for interfaces in Java bytecode verification ⋮ Compact and efficient strings for Java ⋮ Parametric Trace Slicing and Monitoring ⋮ Array bounds check elimination in the context of deoptimization ⋮ Faster algorithms for quantitative verification in bounded treewidth graphs ⋮ The Complexity of Andersen’s Analysis in Practice ⋮ Algorithms for algebraic path properties in concurrent systems of constant treewidth components
This page was built for software: DaCapo
