Back to Results
First PageMeta Content
Mathematical analysis / Structure / Integral transforms / Logic / Holomorphic functional calculus / Decomposition of spectrum / Mathematics / Metalogic / Model theory


LTL types FRP Linear-time Temporal Logic Propositions as Types Proofs as Functional Reactive Programs Alan Jeffrey Alcatel-Lucent Bell Labs [removed]
Add to Reading List

Document Date: 2011-11-17 10:18:47

Open Document

File Size: 313,51 KB

Share Result on Facebook

City

Philadelphia / /

Company

DRSet / Functional Reactive Programs Alan Jeffrey Alcatel-Lucent Bell Labs / /

Country

United States / /

Currency

USD / /

/

IndustryTerm

cyclic rely/guarantee systems / dependent products / termination-checking algorithm / finite products / timed reactive systems / parallel systems / dataflow networks / /

OperatingSystem

POSIX / /

Person

Reed / Roscoe / /

Position

Type structure General / producer / /

Product

MSet / RSet / /

ProgrammingLanguage

Haskell / /

Technology

termination-checking algorithm / /

SocialTag