FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W201200823> ?p ?o ?g. }

• W201200823 startingPage "14" @default.
• W201200823 abstract "Developing safe multithreaded software systems is difficult due to the potential unwanted interference among concurrent threads. This paper presents a flexible methodology for object-oriented programs that protects object structures against inconsistency due to race conditions. It is based on a recent methodology for single-threaded programs where developers define aggregate object structures using an ownership system and declare invariants over them. The methodology is supported by a set of language elements and by both a sound modular static verification method and run-time checking support. The paper reports on preliminary experience with a prototype implementation." @default.
• W201200823 created "2016-06-24" @default.
• W201200823 creator A5008329832 @default.
• W201200823 creator A5042359645 @default.
• W201200823 creator A5077941255 @default.
• W201200823 creator A5081551496 @default.
• W201200823 date "2005-06-01" @default.
• W201200823 modified "2023-09-26" @default.
• W201200823 title "Safe Concurrency for Aggregate Objects with Invariants: Soundness Proof" @default.
• W201200823 cites W1487490478 @default.
• W201200823 cites W1489778371 @default.
• W201200823 cites W1528309244 @default.
• W201200823 cites W1573044584 @default.
• W201200823 cites W1595593557 @default.
• W201200823 cites W1644882639 @default.
• W201200823 cites W1959256509 @default.
• W201200823 cites W1964727056 @default.
• W201200823 cites W1972544179 @default.
• W201200823 cites W1993836075 @default.
• W201200823 cites W1998070736 @default.
• W201200823 cites W2082766667 @default.
• W201200823 cites W2091085450 @default.
• W201200823 cites W2100044151 @default.
• W201200823 cites W2102640269 @default.
• W201200823 cites W2107995193 @default.
• W201200823 cites W2114346176 @default.
• W201200823 cites W2136839747 @default.
• W201200823 cites W2151131364 @default.
• W201200823 cites W2152390090 @default.
• W201200823 cites W2156428492 @default.
• W201200823 cites W2161079291 @default.
• W201200823 cites W2164496154 @default.
• W201200823 cites W2165825461 @default.
• W201200823 cites W2170389900 @default.
• W201200823 cites W2174305619 @default.
• W201200823 cites W3004250778 @default.
• W201200823 cites W2013886348 @default.
• W201200823 hasPublicationYear "2005" @default.
• W201200823 type Work @default.
• W201200823 sameAs 201200823 @default.
• W201200823 citedByCount "0" @default.
• W201200823 crossrefType "journal-article" @default.
• W201200823 hasAuthorship W201200823A5008329832 @default.
• W201200823 hasAuthorship W201200823A5042359645 @default.
• W201200823 hasAuthorship W201200823A5077941255 @default.
• W201200823 hasAuthorship W201200823A5081551496 @default.
• W201200823 hasConcept C101468663 @default.
• W201200823 hasConcept C154945302 @default.
• W201200823 hasConcept C159985019 @default.
• W201200823 hasConcept C173856430 @default.
• W201200823 hasConcept C177264268 @default.
• W201200823 hasConcept C192562407 @default.
• W201200823 hasConcept C193702766 @default.
• W201200823 hasConcept C199360897 @default.
• W201200823 hasConcept C203222032 @default.
• W201200823 hasConcept C2781238097 @default.
• W201200823 hasConcept C39920170 @default.
• W201200823 hasConcept C41008148 @default.
• W201200823 hasConcept C4679612 @default.
• W201200823 hasConcept C73752529 @default.
• W201200823 hasConcept C80444323 @default.
• W201200823 hasConceptScore W201200823C101468663 @default.
• W201200823 hasConceptScore W201200823C154945302 @default.
• W201200823 hasConceptScore W201200823C159985019 @default.
• W201200823 hasConceptScore W201200823C173856430 @default.
• W201200823 hasConceptScore W201200823C177264268 @default.
• W201200823 hasConceptScore W201200823C192562407 @default.
• W201200823 hasConceptScore W201200823C193702766 @default.
• W201200823 hasConceptScore W201200823C199360897 @default.
• W201200823 hasConceptScore W201200823C203222032 @default.
• W201200823 hasConceptScore W201200823C2781238097 @default.
• W201200823 hasConceptScore W201200823C39920170 @default.
• W201200823 hasConceptScore W201200823C41008148 @default.
• W201200823 hasConceptScore W201200823C4679612 @default.
• W201200823 hasConceptScore W201200823C73752529 @default.
• W201200823 hasConceptScore W201200823C80444323 @default.
• W201200823 hasLocation W2012008231 @default.
• W201200823 hasOpenAccess W201200823 @default.
• W201200823 hasPrimaryLocation W2012008231 @default.
• W201200823 hasRelatedWork W128837028 @default.
• W201200823 hasRelatedWork W1525300667 @default.
• W201200823 hasRelatedWork W1543079290 @default.
• W201200823 hasRelatedWork W1560211064 @default.
• W201200823 hasRelatedWork W1608683946 @default.
• W201200823 hasRelatedWork W1970874418 @default.
• W201200823 hasRelatedWork W1972544179 @default.
• W201200823 hasRelatedWork W1993836075 @default.
• W201200823 hasRelatedWork W2037470073 @default.
• W201200823 hasRelatedWork W2136371406 @default.
• W201200823 hasRelatedWork W2142838609 @default.
• W201200823 hasRelatedWork W2165418237 @default.
• W201200823 hasRelatedWork W2207032348 @default.
• W201200823 hasRelatedWork W2401820446 @default.
• W201200823 hasRelatedWork W2543610311 @default.
• W201200823 hasRelatedWork W2588569437 @default.
• W201200823 hasRelatedWork W2990205826 @default.
• W201200823 hasRelatedWork W3033222348 @default.
• W201200823 hasRelatedWork W3103072729 @default.
• W201200823 hasRelatedWork W330438856 @default.

• next