Special issue on syntax-guided synthesis preface

DOI10.1007/s10703-021-00386-0zbMath1490.00032OpenAlexW4220923725MaRDI QIDQ2149966

No author found.

Publication date: 27 June 2022

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-021-00386-0

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Uses Software

• Alloy*

Cites Work

• Unnamed Item
• Alloy*: a general-purpose higher-order relational constraint solver
• Refutation-based synthesis in SMT
• Toward automatic program synthesis

This page was built for publication: Special issue on syntax-guided synthesis preface