Matches in SemOpenAlex for { <https://semopenalex.org/work/W4387683208> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W4387683208 abstract "Functional Reactive Programming (FRP) is a powerful abstraction for building deterministic concurrent systems. However, some programmers prefer a more imperative approach for certain tasks, and that approach is required to implement some imperative algorithms. The Actor Model provides an abstraction for building concurrent systems in a more imperative way without as much of the chaos typical of traditional shared-memory imperative concurrent programming. While the Actor Model offers more structure than other imperative approaches, it still suffers from nondeterminism due to message-ordering and processing times. That makes actor systems hard to reason about, limiting their effectiveness for critical tasks. We formally define an elegant multi-paradigm unification of event-driven FRP constructs and the Actor Model. Our unification enables an intuitive form of declarative programming that can integrate imperative and declarative code within each other. We use reference and object capabilities to tame imperative features: reference capabilities track aliasing and mutability, and object capabilities track I/O. Notably, in our system expressions with deeply immutable input behave deterministically. Additionally, capabilities provide a boundary to allow nondeterministic code to intermingle safely with deterministic code." @default.
- W4387683208 created "2023-10-17" @default.
- W4387683208 creator A5013231053 @default.
- W4387683208 creator A5022299632 @default.
- W4387683208 creator A5083585434 @default.
- W4387683208 date "2022-06-07" @default.
- W4387683208 modified "2023-10-17" @default.
- W4387683208 title "Using Functional Reactive Programming to Define Safe Actor Systems" @default.
- W4387683208 cites W2049440551 @default.
- W4387683208 cites W2049984112 @default.
- W4387683208 cites W2113112607 @default.
- W4387683208 cites W2134968380 @default.
- W4387683208 cites W2762393945 @default.
- W4387683208 cites W2898297789 @default.
- W4387683208 cites W2900040591 @default.
- W4387683208 cites W2977030256 @default.
- W4387683208 cites W2982511873 @default.
- W4387683208 cites W4245729501 @default.
- W4387683208 doi "https://doi.org/10.1145/3611096.3611098" @default.
- W4387683208 hasPublicationYear "2022" @default.
- W4387683208 type Work @default.
- W4387683208 citedByCount "0" @default.
- W4387683208 crossrefType "proceedings-article" @default.
- W4387683208 hasAuthorship W4387683208A5013231053 @default.
- W4387683208 hasAuthorship W4387683208A5022299632 @default.
- W4387683208 hasAuthorship W4387683208A5083585434 @default.
- W4387683208 hasConcept C111472728 @default.
- W4387683208 hasConcept C120314980 @default.
- W4387683208 hasConcept C124304363 @default.
- W4387683208 hasConcept C138885662 @default.
- W4387683208 hasConcept C150762246 @default.
- W4387683208 hasConcept C176181172 @default.
- W4387683208 hasConcept C199360897 @default.
- W4387683208 hasConcept C34165917 @default.
- W4387683208 hasConcept C3701939 @default.
- W4387683208 hasConcept C41008148 @default.
- W4387683208 hasConcept C50033165 @default.
- W4387683208 hasConcept C73752529 @default.
- W4387683208 hasConcept C80444323 @default.
- W4387683208 hasConcept C96146094 @default.
- W4387683208 hasConceptScore W4387683208C111472728 @default.
- W4387683208 hasConceptScore W4387683208C120314980 @default.
- W4387683208 hasConceptScore W4387683208C124304363 @default.
- W4387683208 hasConceptScore W4387683208C138885662 @default.
- W4387683208 hasConceptScore W4387683208C150762246 @default.
- W4387683208 hasConceptScore W4387683208C176181172 @default.
- W4387683208 hasConceptScore W4387683208C199360897 @default.
- W4387683208 hasConceptScore W4387683208C34165917 @default.
- W4387683208 hasConceptScore W4387683208C3701939 @default.
- W4387683208 hasConceptScore W4387683208C41008148 @default.
- W4387683208 hasConceptScore W4387683208C50033165 @default.
- W4387683208 hasConceptScore W4387683208C73752529 @default.
- W4387683208 hasConceptScore W4387683208C80444323 @default.
- W4387683208 hasConceptScore W4387683208C96146094 @default.
- W4387683208 hasLocation W43876832081 @default.
- W4387683208 hasOpenAccess W4387683208 @default.
- W4387683208 hasPrimaryLocation W43876832081 @default.
- W4387683208 hasRelatedWork W151657593 @default.
- W4387683208 hasRelatedWork W1516638553 @default.
- W4387683208 hasRelatedWork W1566717387 @default.
- W4387683208 hasRelatedWork W1973354371 @default.
- W4387683208 hasRelatedWork W2022585506 @default.
- W4387683208 hasRelatedWork W2162076253 @default.
- W4387683208 hasRelatedWork W2165516166 @default.
- W4387683208 hasRelatedWork W2541817194 @default.
- W4387683208 hasRelatedWork W328424390 @default.
- W4387683208 hasRelatedWork W4251155832 @default.
- W4387683208 isParatext "false" @default.
- W4387683208 isRetracted "false" @default.
- W4387683208 workType "article" @default.