A Concurrent Approach to String Transformation Synthesis

Program synthesis aims at the automatic generation of programs based on given specifications. Despite significant progress, the inherent complexity of synthesis tasks and the interplay among intention, invention and adaptation limit its scope. A promising yet challenging avenue is the integration of...

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings of ACM on programming languages Ročník 9; číslo PLDI; s. 2131 - 2155
Hlavní autoři:	Ding, Yuantian, Qiu, Xiaokang
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 10.06.2025
Témata:	Automated reasoning Automatic programming Computing methodologies Concurrent algorithms Formal methods Software and its engineering Theory of computation Enumeration Syntax-guided synthesis Concurrency String transformations Deduction
ISSN:	2475-1421, 2475-1421
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!