Matches in SemOpenAlex for { <https://semopenalex.org/work/W1889363538> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1889363538 endingPage "12" @default.
- W1889363538 startingPage "1" @default.
- W1889363538 abstract "In this paper we present a use of abstract interpretation techniques for reducing synchronization overhead in an object calculus. First we present the new raconcs calculus, an extension of an already existing calculus for supporting reentrant locks. Then we use an abstract form of this calculus to check when synchronization operations may be safely eliminated from statements. Thus our approach may be used to improve performance in object oriented languages by eliminating locks, without the risks caused by manual optimizations performed by programmers." @default.
- W1889363538 created "2016-06-24" @default.
- W1889363538 creator A5037342894 @default.
- W1889363538 creator A5089634233 @default.
- W1889363538 date "2005-02-01" @default.
- W1889363538 modified "2023-09-23" @default.
- W1889363538 title "Abstract Interpretation of an Object Calculus for Synchronization Optimizations" @default.
- W1889363538 cites W121749421 @default.
- W1889363538 cites W1510641142 @default.
- W1889363538 cites W1544633123 @default.
- W1889363538 cites W1557268818 @default.
- W1889363538 cites W1591694044 @default.
- W1889363538 cites W1608321942 @default.
- W1889363538 cites W1698939026 @default.
- W1889363538 cites W2084875723 @default.
- W1889363538 cites W2168822998 @default.
- W1889363538 cites W2171113879 @default.
- W1889363538 cites W2295244175 @default.
- W1889363538 cites W1606351783 @default.
- W1889363538 cites W2474675645 @default.
- W1889363538 hasPublicationYear "2005" @default.
- W1889363538 type Work @default.
- W1889363538 sameAs 1889363538 @default.
- W1889363538 citedByCount "1" @default.
- W1889363538 crossrefType "journal-article" @default.
- W1889363538 hasAuthorship W1889363538A5037342894 @default.
- W1889363538 hasAuthorship W1889363538A5089634233 @default.
- W1889363538 hasConcept C11413529 @default.
- W1889363538 hasConcept C127162648 @default.
- W1889363538 hasConcept C154945302 @default.
- W1889363538 hasConcept C199343813 @default.
- W1889363538 hasConcept C199360897 @default.
- W1889363538 hasConcept C2777686260 @default.
- W1889363538 hasConcept C2778029271 @default.
- W1889363538 hasConcept C2778562939 @default.
- W1889363538 hasConcept C2779960059 @default.
- W1889363538 hasConcept C2781238097 @default.
- W1889363538 hasConcept C31258907 @default.
- W1889363538 hasConcept C41008148 @default.
- W1889363538 hasConcept C527412718 @default.
- W1889363538 hasConcept C71924100 @default.
- W1889363538 hasConcept C80444323 @default.
- W1889363538 hasConceptScore W1889363538C11413529 @default.
- W1889363538 hasConceptScore W1889363538C127162648 @default.
- W1889363538 hasConceptScore W1889363538C154945302 @default.
- W1889363538 hasConceptScore W1889363538C199343813 @default.
- W1889363538 hasConceptScore W1889363538C199360897 @default.
- W1889363538 hasConceptScore W1889363538C2777686260 @default.
- W1889363538 hasConceptScore W1889363538C2778029271 @default.
- W1889363538 hasConceptScore W1889363538C2778562939 @default.
- W1889363538 hasConceptScore W1889363538C2779960059 @default.
- W1889363538 hasConceptScore W1889363538C2781238097 @default.
- W1889363538 hasConceptScore W1889363538C31258907 @default.
- W1889363538 hasConceptScore W1889363538C41008148 @default.
- W1889363538 hasConceptScore W1889363538C527412718 @default.
- W1889363538 hasConceptScore W1889363538C71924100 @default.
- W1889363538 hasConceptScore W1889363538C80444323 @default.
- W1889363538 hasIssue "1" @default.
- W1889363538 hasLocation W18893635381 @default.
- W1889363538 hasOpenAccess W1889363538 @default.
- W1889363538 hasPrimaryLocation W18893635381 @default.
- W1889363538 hasRelatedWork W1493884983 @default.
- W1889363538 hasRelatedWork W1499110125 @default.
- W1889363538 hasRelatedWork W1532248060 @default.
- W1889363538 hasRelatedWork W1598187694 @default.
- W1889363538 hasRelatedWork W1883702554 @default.
- W1889363538 hasRelatedWork W1981858646 @default.
- W1889363538 hasRelatedWork W2059196002 @default.
- W1889363538 hasRelatedWork W2074285438 @default.
- W1889363538 hasRelatedWork W2081001149 @default.
- W1889363538 hasRelatedWork W2479043920 @default.
- W1889363538 hasRelatedWork W2526821177 @default.
- W1889363538 hasRelatedWork W2730816057 @default.
- W1889363538 hasRelatedWork W2785697622 @default.
- W1889363538 hasRelatedWork W2788950713 @default.
- W1889363538 hasRelatedWork W2949479322 @default.
- W1889363538 hasRelatedWork W2950160789 @default.
- W1889363538 hasRelatedWork W2950335459 @default.
- W1889363538 hasRelatedWork W2964769002 @default.
- W1889363538 hasRelatedWork W3105346556 @default.
- W1889363538 hasRelatedWork W1894736207 @default.
- W1889363538 hasVolume "67" @default.
- W1889363538 isParatext "false" @default.
- W1889363538 isRetracted "false" @default.
- W1889363538 magId "1889363538" @default.
- W1889363538 workType "article" @default.