2013 · 48 citations · 36 references
ComputingComputer ScienceProgramming LanguagesReal-time SystemsSchedulingFunctional ProgrammingTemporal LogicType CheckingType SystemsFirst-class FunctionsFunctional Reactive ProgrammingHigher-order FunctionsReactive ProgrammingReactive Systems
Functional reactive programming (FRP) is an elegant approach to declaratively specify reactive systems. However, the powerful abstractions of FRP have historically made it difficult to predict and control the resource usage of programs written in this style.
36
The temporal logic of programs
Amir Pnueli · 1977 · 5.7K citations
Results on the propositional μ-calculus
Dexter Kozen · Theoretical Computer Science · 1983 · 1.8K citations
Humanities, Mathematics, Logic +4
Gordon Plotkin · SIAM Journal on Computing · 1976 · 639 citations
Conal Elliott, Paul Hudak · 1997 · 618 citations
LUSTRE: a declarative language for real-time programming
P. Caspi, D. Pilaud, Nicolas Halbwachs et al. · 1987 · 557 citations · Full text