A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation
Abstract elided by the publisher.
Related papers
- PQL: A Purely-Declarative Java Extension for Parallel Programming ECOOP 2012
- Finding application errors and security flaws using PQL: a program query language OOPSLA 2005
- Smt.ml: A Multi-Backend Frontend for SMT Solvers in OCaml TACAS 2026
- An llVM backend for GHC Haskell 2010
- Scalable extensibility via nested inheritance OOPSLA 2004
- Nacpa: Native Checking with Parallel-Portfolio Analyses - (Competition Contribution) TACAS 2025
- Compatible Genericity with Run-Time Types for the Java Programming Language OOPSLA 1998
- CertiCoq-Wasm: A Verified WebAssembly Backend for CertiCoq CPP 2025