Polymorphic Bottom-Up Weighted Relational Programming
arXiv 2605.15406•bf7049665cf91954b9eb65160b7fc5ac36ab30bbf0488fdc1f371536372f8f3d
ClangGPU optimizationHeyLoHeyVLHydraLLMsPerfCodeBenchZ3benchmarkingcheckpoint-and-rollbackcode generationcode optimizationcompilationdeductive verifiermodel checkingparallelismperformance benchmarkingpolymorphismprobabilistic programsprogram verificationprogramming languagesrelational programmingsemiringKanrenstatic error recoveryverification conditions
Paper metadata
- arXiv ID
- 2605.15406
- Version
- Not specified by this published record
- Category
- Computer Science — Programming Languages (cs.PL)
The PDF link points to arxiv.org. Baitaphish does not expose a private stored PDF.
Evidence and limitations
- Source ID
- arxiv_cs_pl
- Record identifier
- bf7049665cf91954b9eb65160b7fc5ac36ab30bbf0488fdc1f371536372f8f3d
- Enrichment time
- 2026-05-18T08:52:00Z
- AI-assisted enrichment
- Yes
This record may overlap with other records. Its enrichment can be incomplete or wrong, and machine assistance was used. Validate consequential decisions against the linked source and your own environment.