Matches in SemOpenAlex for { <https://semopenalex.org/work/W2045396951> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2045396951 abstract "Functional Reactive Programming (FRP) is an approach to streaming data with a pure functional semantics as time-indexed values. In previous work, we showed that Linear-time Temporal Logic (LTL) can be used as a type system for discrete-time FRP, and that functional reactive primitives perform two roles: as combinators for building streams of data, and as proof rules for constructive LTL. In this paper, we add a third role, by showing that FRP combinators can be used to define streams of types, and that these functional reactive types can be viewed both as a constructive temporal logic, and as the types for functional reactive programs. As an application of functional reactive types, we show that past-time LTL (pLTL) can be extended with FRP to get a logic pLTL+FRP. This logic is expressed as streams of boolean expressions, and so bounded satisfiability of pLTL can be translated to Satisfiability Modulo Theory (SMT). Thus, pLTL+FRP can be used as a constraint language for problems which mix properties of data with temporal properties." @default.
- W2045396951 created "2016-06-24" @default.
- W2045396951 creator A5012868882 @default.
- W2045396951 date "2014-07-14" @default.
- W2045396951 modified "2023-10-16" @default.
- W2045396951 title "Functional reactive types" @default.
- W2045396951 cites W1511982475 @default.
- W2045396951 cites W1819209966 @default.
- W2045396951 cites W1975444939 @default.
- W2045396951 cites W2023808162 @default.
- W2045396951 cites W2079512738 @default.
- W2045396951 cites W2116813111 @default.
- W2045396951 cites W2137351629 @default.
- W2045396951 cites W2146253762 @default.
- W2045396951 cites W2158789193 @default.
- W2045396951 cites W2162492115 @default.
- W2045396951 cites W3099809655 @default.
- W2045396951 doi "https://doi.org/10.1145/2603088.2603106" @default.
- W2045396951 hasPublicationYear "2014" @default.
- W2045396951 type Work @default.
- W2045396951 sameAs 2045396951 @default.
- W2045396951 citedByCount "12" @default.
- W2045396951 countsByYear W20453969512015 @default.
- W2045396951 countsByYear W20453969512017 @default.
- W2045396951 countsByYear W20453969512018 @default.
- W2045396951 countsByYear W20453969512019 @default.
- W2045396951 countsByYear W20453969512020 @default.
- W2045396951 countsByYear W20453969512021 @default.
- W2045396951 countsByYear W20453969512022 @default.
- W2045396951 countsByYear W20453969512023 @default.
- W2045396951 crossrefType "proceedings-article" @default.
- W2045396951 hasAuthorship W2045396951A5012868882 @default.
- W2045396951 hasConcept C11413529 @default.
- W2045396951 hasConcept C168773769 @default.
- W2045396951 hasConcept C184337299 @default.
- W2045396951 hasConcept C199360897 @default.
- W2045396951 hasConcept C25016198 @default.
- W2045396951 hasConcept C2778701210 @default.
- W2045396951 hasConcept C41008148 @default.
- W2045396951 hasConcept C42383842 @default.
- W2045396951 hasConcept C4777664 @default.
- W2045396951 hasConcept C80444323 @default.
- W2045396951 hasConcept C98045186 @default.
- W2045396951 hasConceptScore W2045396951C11413529 @default.
- W2045396951 hasConceptScore W2045396951C168773769 @default.
- W2045396951 hasConceptScore W2045396951C184337299 @default.
- W2045396951 hasConceptScore W2045396951C199360897 @default.
- W2045396951 hasConceptScore W2045396951C25016198 @default.
- W2045396951 hasConceptScore W2045396951C2778701210 @default.
- W2045396951 hasConceptScore W2045396951C41008148 @default.
- W2045396951 hasConceptScore W2045396951C42383842 @default.
- W2045396951 hasConceptScore W2045396951C4777664 @default.
- W2045396951 hasConceptScore W2045396951C80444323 @default.
- W2045396951 hasConceptScore W2045396951C98045186 @default.
- W2045396951 hasLocation W20453969511 @default.
- W2045396951 hasOpenAccess W2045396951 @default.
- W2045396951 hasPrimaryLocation W20453969511 @default.
- W2045396951 hasRelatedWork W1546948343 @default.
- W2045396951 hasRelatedWork W1587224678 @default.
- W2045396951 hasRelatedWork W188509945 @default.
- W2045396951 hasRelatedWork W2013878945 @default.
- W2045396951 hasRelatedWork W2028860036 @default.
- W2045396951 hasRelatedWork W2104974242 @default.
- W2045396951 hasRelatedWork W2166338730 @default.
- W2045396951 hasRelatedWork W2180648729 @default.
- W2045396951 hasRelatedWork W2396641696 @default.
- W2045396951 hasRelatedWork W4312622265 @default.
- W2045396951 isParatext "false" @default.
- W2045396951 isRetracted "false" @default.
- W2045396951 magId "2045396951" @default.
- W2045396951 workType "article" @default.