Opening book details…
Can I read Specification-guided Component-based Synthesis from Effectful Libraries on EtoBox?
Specification-guided Component-based Synthesis from Effectful Libraries by Ashish Mishra; Suresh Jagannathan is a Computer Science article available to read on EtoBox.
What is Specification-guided Component-based Synthesis from Effectful Libraries about?
Component-based synthesis seeks to build programs using the APIs provided by a set of libraries. Oftentimes, these APIs have effects, which make it challenging to reason about the correctness of potential synthesis candidates. This is because changes to global state made by effectful library procedures affect how they may be composed together, yielding an intractably large search space that can confound typical enumerative synthesis techniques. If the nature of these effects are exposed as part of their specification, however, deductive synthesis approaches can be used to help guide the search for components. In this paper, we present a new specification-guided synthesis procedure that uses Hoare-style pre- and post-conditions to express fine-grained effects of potential library component candidates to drive a bi-directional synthesis search strategy. The procedure alternates between a forward search process that seeks to build larger terms given an existing context but which is otherwise unaware of the actual goal, alongside a backward search mechanism that seeks terms consistent with the desired goal but which is otherwise unaware of the context from which these terms must be syn
Who reads Specification-guided Component-based Synthesis from Effectful Libraries?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Ashish Mishra; Suresh Jagannathan
- Publisher
- ACM
- Published
- 2022
- Language
- EN
- Field
- Computer Science (Physical Sciences)