logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回期刊详情
P

PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2026

IF
论文数12
被引数
期刊论文 12
发表时间
delete
A Functional Logic Perspective on Indentation-Sensitive Parsing基于功能逻辑的缩进敏感解析视角
deletePRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2026
IF0
delete2026-01-01
delete0
PREAI
deleteLibby, Steven
delete分享
delete收藏
Using Prolog to Translate Set Theory and B to SAT使用Prolog将集合论和B方法翻译为SAT
deletePRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2026
IF0
delete2026-01-01
delete0
PREAI
deleteLeuschel, Michael
delete分享
delete收藏
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
delete分享
delete收藏
Solving Hard Combinatorial Optimization Problems with PyQASP用PyQASP求解困难的组合优化问题
deletePRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2026
IF0
delete2026-01-01
delete0
PREAI
deleteAzzolini, Damiano; Leone, Nicola; Mazzotta, Giuseppe; Ricca, Francesco
delete分享
delete收藏
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
delete分享
delete收藏
Determinacy Checking for Elpi: an Higher-Order Logic Programming Language with CutElpi语言的确定性检查：一种具有Cut的高阶逻辑编程语言
deletePRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2026
IF0
delete2026-01-01
delete0
PREAI
deleteFissore, Davide; Tassi, Enrico
delete分享
delete收藏
REGAL: Extracting Implicit Rules in Text Using LLMs with Logic Program FeedbackREGAL：利用具有逻辑程序反馈的LLMs从文本中提取隐式规则
deletePRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2026
IF0
delete2026-01-01
delete0
PREAI
deleteRajasekharan, Abhiramon; Gupta, Gopal
delete分享
delete收藏
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
delete分享
delete收藏
Declarative Debugging for Modern Networks现代网络的声明式调试
deletePRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2026
IF0
delete2026-01-01
delete0
PREAI
deleteWang, Anduo; Caesar, Matthew
delete分享
delete收藏
Multi-configurable Search Rules in Prolog and Application to TestingProlog中的多可配置搜索规则及其在测试中的应用
deletePRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2026
IF0
delete2026-01-01
delete0
PREAI
deleteFerreiro, Daniela; Morales, Jose F.; Lopez-Garcia, Pedro; Hermenegildo, Manuel V.
delete分享
delete收藏
A One-Pass CPS Transform with Simulation on the Nose单次传递CPS变换及其即时模拟
deletePRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2026
IF0
delete2026-01-01
delete0
PREAI
deleteLasnier, Pascal Y.; Yallop, Jeremy; Myreen, Magnus O.
delete分享
delete收藏
An Efficient Compiler for the IDP-Z3 Knowledge Base System针对IDP-Z3知识库系统的高效编译器
deletePRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2026
IF0
delete2026-01-01
delete0
PREAI
deletePiessens, Wout; Vandevelde, Simon; Vennekens, Joost; Schrijvers, Tom
delete分享
delete收藏