logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
BackJournal Details
P

PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2026

IF
Papers12
Citations
Journal Papers 12
Publication Date
delete
A Functional Logic Perspective on Indentation-Sensitive Parsing
deletePRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2026
IF0
delete2026-01-01
delete0
PREAI
deleteLibby, Steven
deleteShare
deleteSave
Using Prolog to Translate Set Theory and B to SAT
deletePRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2026
IF0
delete2026-01-01
delete0
PREAI
deleteLeuschel, Michael
deleteShare
deleteSave
Graph Rewriting Language as a Platform for Quantum Diagrammatic Calculi
deletePRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2026
IF0
delete2026-01-01
delete0
PREAI
deleteTei, Kayo; Mishina, Haruto; Yamamoto, Naoki; Ueda, Kazunori
deleteShare
deleteSave
Solving Hard Combinatorial Optimization Problems with PyQASP
deletePRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2026
IF0
delete2026-01-01
delete0
PREAI
deleteAzzolini, Damiano; Leone, Nicola; Mazzotta, Giuseppe; Ricca, Francesco
deleteShare
deleteSave
Interpretable Configuration Optimization for Static Program Verification via Rule-Based and Counterfactual Reasoning
deletePRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2026
IF0
delete2026-01-01
delete0
PREAI
deleteLee, Jaeseong; Dasgupta, Sopam; Gupta, Gopal; Wei, Shiyi
deleteShare
deleteSave
Determinacy Checking for Elpi: an Higher-Order Logic Programming Language with Cut
deletePRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2026
IF0
delete2026-01-01
delete0
PREAI
deleteFissore, Davide; Tassi, Enrico
deleteShare
deleteSave
REGAL: Extracting Implicit Rules in Text Using LLMs with Logic Program Feedback
deletePRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2026
IF0
delete2026-01-01
delete0
PREAI
deleteRajasekharan, Abhiramon; Gupta, Gopal
deleteShare
deleteSave
Property-Based Testing for Asynchronous Functional Reactive Programming Using Linear Temporal Logic
deletePRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2026
IF0
delete2026-01-01
delete0
PREAI
deleteNielsen, Christian Emil; Kristiansen, Mathias Faber; Bahr, Patrick
deleteShare
deleteSave
Declarative Debugging for Modern Networks
deletePRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2026
IF0
delete2026-01-01
delete0
PREAI
deleteWang, Anduo; Caesar, Matthew
deleteShare
deleteSave
Multi-configurable Search Rules in Prolog and Application to Testing
deletePRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2026
IF0
delete2026-01-01
delete0
PREAI
deleteFerreiro, Daniela; Morales, Jose F.; Lopez-Garcia, Pedro; Hermenegildo, Manuel V.
deleteShare
deleteSave
A One-Pass CPS Transform with Simulation on the Nose
deletePRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2026
IF0
delete2026-01-01
delete0
PREAI
deleteLasnier, Pascal Y.; Yallop, Jeremy; Myreen, Magnus O.
deleteShare
deleteSave
An Efficient Compiler for the IDP-Z3 Knowledge Base System
deletePRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2026
IF0
delete2026-01-01
delete0
PREAI
deletePiessens, Wout; Vandevelde, Simon; Vennekens, Joost; Schrijvers, Tom
deleteShare
deleteSave