Absynthe: Abstract Interpretation-Guided Synthesis.

Guria, Sankha Narayan.

Foster, Jeffrey S.

Van Horn, David.

2023

open in viewer
Description
  • Keywords: abstract interpretation, program synthesis.

    Topic: Software and its engineering / Automatic programming

    ACM Open.
This object is in collection Permanent URL Citation
  • Sankha Narayan Guria, Jeffrey S. Foster, and David Van Horn. "Absynthe: Abstract Interpretation-Guided Synthesis." Proceedings of the ACM on Programming Languages, ACM, New York, NY, USA, 7, PLDI, 2023
ID:
3b591q52t
To Cite:
TARC Citation Guide    EndNote
Usage:
Detailed Rights
Rights Note:
This work is licensed under a Creative Commons Attribution 4.0 International License.
DOI:
10.1145/3591285