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

LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2025

IF
Papers13
Citations
Journal Papers 13
Publication Date
delete
Symbolic Computation and Verification Methods in Maude
deleteLOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2025
IF0
delete2026-01-01
delete0
PREAI
deleteMeseguer, Jose
deleteShare
deleteSave
Program Synthesis for Geometric Modeling
deleteLOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2025
IF0
delete2026-01-01
delete0
PREAI
deletePascual, Romain; Le Gall, Pascale; Belhaouari, Hakim; Arnould, Agnes
deleteShare
deleteSave
Higher-Order Pattern Unification Modulo Similarity Relations
deleteLOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2025
IF0
delete2026-01-01
delete0
PREAI
deleteDundua, Besik; Kutsia, Temur
deleteShare
deleteSave
Focusing Recursive LLM Descents with Plans Expressed as Logic Programs
deleteLOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2025
IF0
delete2026-01-01
delete0
PREAI
deleteTarau, Paul
deleteShare
deleteSave
Natural Language to LOGICA: Towards Interactive and Explainable Data Analytics
deleteLOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2025
IF0
delete2026-01-01
delete0
PREAI
deleteGarg, Ojaswa; Mirjafari, Shayan; Xia, Yilin; Bowers, Shawn; Ludascher, Bertram; Skvortsov, Evgeny
deleteShare
deleteSave
Characterizing Equivalence of Logically Constrained Terms via Existentially Constrained Terms
deleteLOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2025
IF0
delete2026-01-01
delete0
PREAI
deleteTakahata, Kanta; Schoepf, Jonas; Nishida, Naoki; Aoto, Takahito
deleteShare
deleteSave
Recurrent Pairs Revisited
deleteLOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2025
IF0
delete2026-01-01
delete0
PREAI
deletePayet, Etienne
deleteShare
deleteSave
Automated Certification of Logic Program Groundness Analysis
deleteLOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2025
IF0
delete2026-01-01
delete0
PREAI
deleteMarianne, Thierry; Mesnard, Fred; Payet, Etienne
deleteShare
deleteSave
Extending the FSyntax/Hiord Approach with Imperative Notation
deleteLOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2025
IF0
delete2026-01-01
delete0
PREAI
deleteCorral, Paula; Morales, Jose F.; Lopez-Garcia, Pedro; Hermenegildo, Manuel V.
deleteShare
deleteSave
A Completion Procedure for Equational Rewriting Systems with Binders
deleteLOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2025
IF0
delete2026-01-01
delete0
PREAI
deleteFernandez, Maribel; Nantes-Sobrinho, Daniele; Santaguida, Daniella
deleteShare
deleteSave
CurryInfo: Managing Analysis and Verification Information about Curry Packages
deleteLOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHanus, Michael
deleteShare
deleteSave
Implementing a Many-Valued Semantics for Logic Programs with Ordered Disjunction Using ASP
deleteLOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2025
IF0
delete2026-01-01
delete0
PREAI
deleteCharalambidis, Angelos; Nikolaou, Georgios; Troumpoukis, Antonis
deleteShare
deleteSave
Verifying Smart Contracts in Yul via Transformation to CHC by Interpreter Specialization
deleteLOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2025
IF0
delete2026-01-01
delete0
PREAI
deleteAlbert, Elvira; De Angelis, Emanuele; Fioravanti, Fabio; Hernandez-Cerezo, Alejandro; Matricardi, Giulia
deleteShare
deleteSave