Component-based synthesis for complex APIs
From MaRDI portal
Publication:5370893
DOI10.1145/3009837.3009851zbMath1380.68108OpenAlexW2561055248MaRDI QIDQ5370893
Ruben Martins, Yu Feng, Isil Dillig, Thomas W. Reps, Yue-Peng Wang
Publication date: 20 October 2017
Published in: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3009837.3009851
Theory of compilers and interpreters (68N20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (10)
Separators in Continuous Petri Nets ⋮ \textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches ⋮ Synthesising programs with non-trivial constants ⋮ Bootstrapping library-based synthesis ⋮ Separators in continuous Petri nets ⋮ Directed reachability for infinite-state systems ⋮ Long-Run Average Behavior of Vector Addition Systems with States ⋮ Programming by predicates: a formal model for interactive synthesis ⋮ SyPet ⋮ Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States
Uses Software
This page was built for publication: Component-based synthesis for complex APIs
