Matches in SemOpenAlex for { <https://semopenalex.org/work/W2116965637> ?p ?o ?g. }
- W2116965637 abstract "The notion of events in distributed publish-subscribe systems implies safe concurrency. However, that implication does not hold in object-oriented (OO) programs that utilize events for modularity. This is because unlike the distributed setting, where publisher and subscriber do not share state and only communicate via messages, additional communication between publisher and subscriber, e.g. via call-back or shared state, is common in OO programs that use events. Static type-and-effect systems can help expose potential concurrency, however, they are too conservative to handle an event-based idiom that involves zero or more dynamic dispatches on receiver objects in a dynamically changing list. To solve these problems, we present a hybrid (static/dynamic) type-and-effect system for exposing concurrency in event-based OO programs. This type-and-effect system provides deadlock and data race freedom in such usage of the event idiom. We have implemented this type-and-effect system as an extension of Java’s type system and it shows considerable speedup over the sequential version of several applications (up to 15.7x) at a negligible overhead." @default.
- W2116965637 created "2016-06-24" @default.
- W2116965637 creator A5037785740 @default.
- W2116965637 creator A5059626072 @default.
- W2116965637 date "2010-01-01" @default.
- W2116965637 modified "2023-09-27" @default.
- W2116965637 title "A Type-and-Effect System for Shared Memory, Concurrent Implicit Invocation Systems" @default.
- W2116965637 cites W125251596 @default.
- W2116965637 cites W1498296889 @default.
- W2116965637 cites W1500987966 @default.
- W2116965637 cites W1504300023 @default.
- W2116965637 cites W1518108783 @default.
- W2116965637 cites W1530678164 @default.
- W2116965637 cites W1539693001 @default.
- W2116965637 cites W1565935466 @default.
- W2116965637 cites W1581096042 @default.
- W2116965637 cites W1584322803 @default.
- W2116965637 cites W1595523781 @default.
- W2116965637 cites W1600607000 @default.
- W2116965637 cites W1605226475 @default.
- W2116965637 cites W1608722977 @default.
- W2116965637 cites W1638978760 @default.
- W2116965637 cites W1648885110 @default.
- W2116965637 cites W1649645444 @default.
- W2116965637 cites W1975579741 @default.
- W2116965637 cites W1976194690 @default.
- W2116965637 cites W1978738400 @default.
- W2116965637 cites W1980939032 @default.
- W2116965637 cites W1984458638 @default.
- W2116965637 cites W1986453394 @default.
- W2116965637 cites W1986698752 @default.
- W2116965637 cites W1995065158 @default.
- W2116965637 cites W1995288535 @default.
- W2116965637 cites W1999539882 @default.
- W2116965637 cites W2043003055 @default.
- W2116965637 cites W2046137117 @default.
- W2116965637 cites W2046997852 @default.
- W2116965637 cites W2048921878 @default.
- W2116965637 cites W2052087935 @default.
- W2116965637 cites W2054564983 @default.
- W2116965637 cites W2072794470 @default.
- W2116965637 cites W2077850509 @default.
- W2116965637 cites W2079333567 @default.
- W2116965637 cites W2096403564 @default.
- W2116965637 cites W2097304805 @default.
- W2116965637 cites W2097717378 @default.
- W2116965637 cites W2111946621 @default.
- W2116965637 cites W2112780297 @default.
- W2116965637 cites W2113563476 @default.
- W2116965637 cites W2113766267 @default.
- W2116965637 cites W2118002698 @default.
- W2116965637 cites W2118317839 @default.
- W2116965637 cites W2120214216 @default.
- W2116965637 cites W2122410182 @default.
- W2116965637 cites W2125340270 @default.
- W2116965637 cites W2127642645 @default.
- W2116965637 cites W2131335291 @default.
- W2116965637 cites W2145087641 @default.
- W2116965637 cites W2153926311 @default.
- W2116965637 cites W2156428492 @default.
- W2116965637 cites W2157526092 @default.
- W2116965637 cites W2164288922 @default.
- W2116965637 cites W2168234754 @default.
- W2116965637 cites W2170436517 @default.
- W2116965637 cites W2188364336 @default.
- W2116965637 cites W2295118110 @default.
- W2116965637 cites W2296246574 @default.
- W2116965637 cites W92021045 @default.
- W2116965637 hasPublicationYear "2010" @default.
- W2116965637 type Work @default.
- W2116965637 sameAs 2116965637 @default.
- W2116965637 citedByCount "0" @default.
- W2116965637 crossrefType "journal-article" @default.
- W2116965637 hasAuthorship W2116965637A5037785740 @default.
- W2116965637 hasAuthorship W2116965637A5059626072 @default.
- W2116965637 hasConcept C120314980 @default.
- W2116965637 hasConcept C121332964 @default.
- W2116965637 hasConcept C168065819 @default.
- W2116965637 hasConcept C188045909 @default.
- W2116965637 hasConcept C193702766 @default.
- W2116965637 hasConcept C199360897 @default.
- W2116965637 hasConcept C2779662365 @default.
- W2116965637 hasConcept C2779960059 @default.
- W2116965637 hasConcept C41008148 @default.
- W2116965637 hasConcept C62520636 @default.
- W2116965637 hasConcept C75949130 @default.
- W2116965637 hasConceptScore W2116965637C120314980 @default.
- W2116965637 hasConceptScore W2116965637C121332964 @default.
- W2116965637 hasConceptScore W2116965637C168065819 @default.
- W2116965637 hasConceptScore W2116965637C188045909 @default.
- W2116965637 hasConceptScore W2116965637C193702766 @default.
- W2116965637 hasConceptScore W2116965637C199360897 @default.
- W2116965637 hasConceptScore W2116965637C2779662365 @default.
- W2116965637 hasConceptScore W2116965637C2779960059 @default.
- W2116965637 hasConceptScore W2116965637C41008148 @default.
- W2116965637 hasConceptScore W2116965637C62520636 @default.
- W2116965637 hasConceptScore W2116965637C75949130 @default.
- W2116965637 hasLocation W21169656371 @default.
- W2116965637 hasOpenAccess W2116965637 @default.
- W2116965637 hasPrimaryLocation W21169656371 @default.