Synthesizing Imperative Code from Answer Set Programming Specifications

DOI10.1007/978-3-030-45260-5_5zbMath1502.68075OpenAlexW3017805342MaRDI QIDQ5097626

Elmer Salazar, Neeraj Mittal, Sarat Chandra Varanasi, Gopal Gupta

Publication date: 25 August 2022

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-45260-5_5

zbMATH Keywords

program transformationpartial evaluationprogram synthesisanswer set programmingsymbolic execution

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)

Related Items

Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dynamic Consistency Checking in Goal-Directed Answer Set Programming
• Constraint Answer Set Programming without Grounding
• A Physician Advisory System for Chronic Heart Failure management based on knowledge patterns
• From program verification to program synthesis
• Conflict-Driven Answer Set Enumeration
• Coinductive Logic Programming
• Logic Programming and Nonmonotonic Reasoning
• Program Development in Computational Logic