On a Tighter Integration of Functional and Logic Programming
Abstract elided by the publisher.
Related papers
- ATKVerifier: Adaptive Top-K Constraints for Tighter Verification of Semantic Segmentation Networks CAV 2026
- Typed quote/antiquote or: Compile-time parsing JFP 2011
- Runtime metric meets developer: building better cloud applications using feedback Onward! 2015
- Sky Is Not the Limit - Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation TACAS 2022
- ReLU Hull Approximation POPL 2024
- A Functional Layer for Description Logics: Knowledge Representation Meets Object-Oriented Programing OOPSLA 1996
- Quantitative analysis of assertion violations in probabilistic programs PLDI 2021
- A Unified Computation Model for Functional and Logic Programming POPL 1997