Synthesizing reactive programs

DOI10.4230/LIPICS.CSL.2011.428MaRDI QIDQ2915700zbMATH OpenFDO

Authors Parthasarathy Madhusudan

Publication date 18 September 2012

Full work available at URL http://subs.emis.de/LIPIcs/frontdoor_f3c0.html

zbMATH Keywords

automata theorytemporal logicsprogram synthesisBoolean programs

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Verification and synthesis of reactive programs
• Bounded synthesis of reactive programs
• Synthesis: words and traces
• Synthesizing structured reactive programs via deterministic tree automata
• Synthesizing structured reactive programs via deterministic tree automata

Cited in

(26)

• scientific article; zbMATH DE number 2000429 (Why is no real title available?)
• The Miracle of Reactive Programming
• Adapting behaviors via reactive synthesis
• scientific article; zbMATH DE number 2112979 (Why is no real title available?)
• Synthesis: words and traces
• Synthesis of data word transducers
• Decidable synthesis of programs with uninterpreted functions
• Synthesizing reactive systems from hyperproperties
• Verification and synthesis of reactive programs
• Integrating discrete controller synthesis into a reactive programming language compiler
• Synthesizing structured reactive programs via deterministic tree automata
• Editorial: Special issue on synthesis
• Bounded synthesis of reactive programs
• scientific article; zbMATH DE number 4124989 (Why is no real title available?)
• Live synthesis
• scientific article; zbMATH DE number 4085004 (Why is no real title available?)
• Compositional approach to the development of reactive algorithms
• Synthesizing structured reactive programs via deterministic tree automata
• Assume-guarantee synthesis for concurrent reactive programs with partial information
• Facets of Synthesis: Revisiting Church’s Problem
• Special issue: Synthesis and SYNT 2014
• Functional reactive programming with liveness guarantees
• scientific article; zbMATH DE number 4049000 (Why is no real title available?)
• Visibly pushdown modular games
• Reactive Answer Set Programming
• scientific article; zbMATH DE number 7533356 (Why is no real title available?)

This page was built for publication: Synthesizing reactive programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2915700)