Synthesizing Imperative Code from Answer Set Programming Specifications

DOI10.1007/978-3-030-45260-5_5MaRDI QIDQ5097626zbMATH OpenOpenAlexFDO

Authors Sarat Chandra Varanasi, Elmer Salazar, Neeraj Mittal, 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

answer set programmingpartial evaluationprogram synthesisprogram transformationsymbolic execution

Mathematics Subject Classification ID

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

Recommendations

• Synthesizing concurrent programs using answer set programming
• Specifying and verbalising answer set programs in controlled natural language
• Schema-Guided Synthesis of Imperative Programs by Constraint Solving
• scientific article; zbMATH DE number 1207155
• Symbolic system synthesis using answer set programming
• Synthesizing imperative programs from examples guided by static analysis
• scientific article; zbMATH DE number 4043304

Cites work

• A physician advisory system for chronic heart failure management based on knowledge patterns
• Coinductive Logic Programming
• Conflict-Driven Answer Set Enumeration
• Constraint answer set programming without grounding
• Dynamic consistency checking in goal-directed answer set programming
• From program verification to program synthesis
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 1931693 (Why is no real title available?)
• scientific article; zbMATH DE number 3351173 (Why is no real title available?)
• Logic Programming and Nonmonotonic Reasoning
• Program Development in Computational Logic

Cited in

(4)

• Uhura: an authoring tool for specifying answer-set programs using controlled natural language
• Synthesizing concurrent programs using answer set programming
• scientific article; zbMATH DE number 7455706 (Why is no real title available?)
• Schema-Guided Synthesis of Imperative Programs by Constraint Solving

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)