Synthesizing Imperative Code from Answer Set Programming Specifications
From MaRDI portal
Publication:5097626
DOI10.1007/978-3-030-45260-5_5zbMATH Open1502.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
Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Conflict-Driven Answer Set Enumeration
- Program Development in Computational Logic
- Dynamic Consistency Checking in Goal-Directed Answer Set Programming
- Logic Programming and Nonmonotonic Reasoning
- From program verification to program synthesis
- Coinductive Logic Programming
- Constraint Answer Set Programming without Grounding
- A Physician Advisory System for Chronic Heart Failure management based on knowledge patterns
Cited In (3)
Recommendations
- Schema-Guided Synthesis of Imperative Programs by Constraint Solving 👍 👎
- Synthesizing Imperative Programs from Examples Guided by Static Analysis 👍 👎
- Specifying and Verbalising Answer Set Programs in Controlled Natural Language 👍 👎
- Symbolic System Synthesis Using Answer Set Programming 👍 👎
- Synthesizing Concurrent Programs Using Answer Set Programming 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
This page was built for publication: Synthesizing Imperative Code from Answer Set Programming Specifications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5097626)
