A Practical Implementation of DCGs (Abstract)
Abstract elided by the publisher.
Related papers
- Practical: Are Abstract-Interpreter Baseline JITs Worth It? An Empirical Evaluation through Metacompilation CGO 2026
- jStar: towards practical verification for java OOPSLA 2008
- Semantic Parallelization: A Practical Exercise in Abstract Interpretation POPL 1987
- Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers POPL 2026
- Reliable and efficient programming abstractions for wireless sensor networks PLDI 2007
- Symbolic abstract data type inference POPL 2016
- BDA: practical dependence analysis for binary executables by unbiased whole-program path sampling and per-path abstract interpretation OOPSLA 2019
- Practical probabilistic programming with monads Haskell 2015