The Miracle of Reactive Programming

DOI10.1007/978-3-642-14521-6_12MaRDI QIDQ3585032zbMATH OpenOpenAlexFDO

Authors Jim Woodcock

Publication date 31 August 2010

Published in Unifying Theories of Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-14521-6_12

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Reactive concurrent programming revisited
• Synthesizing reactive programs
• scientific article; zbMATH DE number 526071
• Functional reactive programming with liveness guarantees
• scientific article; zbMATH DE number 4082959

Cited in

(7)

• Angelic processes for CSP via the UTP
• Unifying theories of reactive design contracts
• Modelling temporal behaviour in complex systems with Timebands
• Safety-critical Java programs from \textsf{Circus} models
• Circus Time with Reactive Designs
• UTP, \textsf{\textit{Circus}}, and Isabelle
• On integrating confidentiality and functionality in a formal method

This page was built for publication: The Miracle of Reactive Programming

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