FRINK Linked Data Fragments server

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

• W1859118644 endingPage "453" @default.
• W1859118644 startingPage "439" @default.
• W1859118644 abstract "Type systems for programming languages help reasoning about program behavior and early finding of bugs. Recent applications of type systems include analysis of various program behaviors such as side effects, resource usage, security properties, and concurrency. This paper is a tutorial of one of such applications: type systems for analyzing behavior of concurrent processes. We start with a simple type system and extend it step by step to obtain more expressive type systems to reason about deadlock-freedom, safe usage of locks, etc." @default.
• W1859118644 created "2016-06-24" @default.
• W1859118644 creator A5084941435 @default.
• W1859118644 date "2003-01-01" @default.
• W1859118644 modified "2023-10-16" @default.
• W1859118644 title "Type Systems for Concurrent Programs" @default.
• W1859118644 cites W1486694616 @default.
• W1859118644 cites W1495087637 @default.
• W1859118644 cites W1541559539 @default.
• W1859118644 cites W1548392907 @default.
• W1859118644 cites W1549121707 @default.
• W1859118644 cites W1557218646 @default.
• W1859118644 cites W1600737813 @default.
• W1859118644 cites W1698939026 @default.
• W1859118644 cites W1829244603 @default.
• W1859118644 cites W1965718940 @default.
• W1859118644 cites W1991354622 @default.
• W1859118644 cites W1993430979 @default.
• W1859118644 cites W2004048608 @default.
• W1859118644 cites W2011491369 @default.
• W1859118644 cites W2019545801 @default.
• W1859118644 cites W2023931614 @default.
• W1859118644 cites W2042360145 @default.
• W1859118644 cites W2044550200 @default.
• W1859118644 cites W2050084141 @default.
• W1859118644 cites W2055341574 @default.
• W1859118644 cites W2107438584 @default.
• W1859118644 cites W2109875364 @default.
• W1859118644 cites W2111477637 @default.
• W1859118644 cites W2128932399 @default.
• W1859118644 cites W2148025199 @default.
• W1859118644 cites W2148901852 @default.
• W1859118644 cites W2154581630 @default.
• W1859118644 cites W4241646537 @default.
• W1859118644 doi "https://doi.org/10.1007/978-3-540-40007-3_26" @default.
• W1859118644 hasPublicationYear "2003" @default.
• W1859118644 type Work @default.
• W1859118644 sameAs 1859118644 @default.
• W1859118644 citedByCount "61" @default.
• W1859118644 countsByYear W18591186442012 @default.
• W1859118644 countsByYear W18591186442013 @default.
• W1859118644 countsByYear W18591186442014 @default.
• W1859118644 countsByYear W18591186442015 @default.
• W1859118644 countsByYear W18591186442016 @default.
• W1859118644 countsByYear W18591186442017 @default.
• W1859118644 countsByYear W18591186442018 @default.
• W1859118644 countsByYear W18591186442020 @default.
• W1859118644 countsByYear W18591186442021 @default.
• W1859118644 countsByYear W18591186442022 @default.
• W1859118644 countsByYear W18591186442023 @default.
• W1859118644 crossrefType "book-chapter" @default.
• W1859118644 hasAuthorship W1859118644A5084941435 @default.
• W1859118644 hasBestOaLocation W18591186442 @default.
• W1859118644 hasConcept C111472728 @default.
• W1859118644 hasConcept C115903868 @default.
• W1859118644 hasConcept C120314980 @default.
• W1859118644 hasConcept C138885662 @default.
• W1859118644 hasConcept C150495011 @default.
• W1859118644 hasConcept C159023740 @default.
• W1859118644 hasConcept C18903297 @default.
• W1859118644 hasConcept C193702766 @default.
• W1859118644 hasConcept C199360897 @default.
• W1859118644 hasConcept C2777299769 @default.
• W1859118644 hasConcept C2780586882 @default.
• W1859118644 hasConcept C41008148 @default.
• W1859118644 hasConcept C75949130 @default.
• W1859118644 hasConcept C80444323 @default.
• W1859118644 hasConcept C84511453 @default.
• W1859118644 hasConcept C86803240 @default.
• W1859118644 hasConceptScore W1859118644C111472728 @default.
• W1859118644 hasConceptScore W1859118644C115903868 @default.
• W1859118644 hasConceptScore W1859118644C120314980 @default.
• W1859118644 hasConceptScore W1859118644C138885662 @default.
• W1859118644 hasConceptScore W1859118644C150495011 @default.
• W1859118644 hasConceptScore W1859118644C159023740 @default.
• W1859118644 hasConceptScore W1859118644C18903297 @default.
• W1859118644 hasConceptScore W1859118644C193702766 @default.
• W1859118644 hasConceptScore W1859118644C199360897 @default.
• W1859118644 hasConceptScore W1859118644C2777299769 @default.
• W1859118644 hasConceptScore W1859118644C2780586882 @default.
• W1859118644 hasConceptScore W1859118644C41008148 @default.
• W1859118644 hasConceptScore W1859118644C75949130 @default.
• W1859118644 hasConceptScore W1859118644C80444323 @default.
• W1859118644 hasConceptScore W1859118644C84511453 @default.
• W1859118644 hasConceptScore W1859118644C86803240 @default.
• W1859118644 hasLocation W18591186441 @default.
• W1859118644 hasLocation W18591186442 @default.
• W1859118644 hasOpenAccess W1859118644 @default.
• W1859118644 hasPrimaryLocation W18591186441 @default.
• W1859118644 hasRelatedWork W1964544323 @default.
• W1859118644 hasRelatedWork W1998362060 @default.
• W1859118644 hasRelatedWork W2132511067 @default.
• W1859118644 hasRelatedWork W2164224850 @default.
• W1859118644 hasRelatedWork W2169277884 @default.
• W1859118644 hasRelatedWork W2172046835 @default.
• W1859118644 hasRelatedWork W2899486387 @default.
• W1859118644 hasRelatedWork W2988692673 @default.
• W1859118644 hasRelatedWork W2104434699 @default.

• next