Matches in SemOpenAlex for { <https://semopenalex.org/work/W2292986447> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2292986447 endingPage "390" @default.
- W2292986447 startingPage "375" @default.
- W2292986447 abstract "It is well-known that it is challenging to build semantic models of type systems or logics for reasoning about concurrent higher-order imperative programming languages. One of the key challenges is that such semantic models often involve constructing solutions to certain kinds of recursive domain equations, which in practice has been a barrier to formalization efforts. Here we present the ModuRes Coq library, which provides an easy way to solve such equations. We show how the library can be used to construct models of type systems and logics for reasoning about concurrent higher-order imperative programming languages." @default.
- W2292986447 created "2016-06-24" @default.
- W2292986447 creator A5047754900 @default.
- W2292986447 creator A5055959064 @default.
- W2292986447 creator A5067950871 @default.
- W2292986447 date "2015-01-01" @default.
- W2292986447 modified "2023-10-17" @default.
- W2292986447 title "ModuRes: A Coq Library for Modular Reasoning About Concurrent Higher-Order Imperative Programming Languages" @default.
- W2292986447 cites W1495567550 @default.
- W2292986447 cites W1549217957 @default.
- W2292986447 cites W1558115254 @default.
- W2292986447 cites W1813662263 @default.
- W2292986447 cites W1837914593 @default.
- W2292986447 cites W1854089346 @default.
- W2292986447 cites W1975808766 @default.
- W2292986447 cites W2030299533 @default.
- W2292986447 cites W203992540 @default.
- W2292986447 cites W2101526176 @default.
- W2292986447 cites W2145849916 @default.
- W2292986447 cites W2147323041 @default.
- W2292986447 cites W2148687959 @default.
- W2292986447 cites W2164688709 @default.
- W2292986447 cites W4229652664 @default.
- W2292986447 cites W4235454363 @default.
- W2292986447 cites W4236538466 @default.
- W2292986447 cites W75891272 @default.
- W2292986447 doi "https://doi.org/10.1007/978-3-319-22102-1_25" @default.
- W2292986447 hasPublicationYear "2015" @default.
- W2292986447 type Work @default.
- W2292986447 sameAs 2292986447 @default.
- W2292986447 citedByCount "8" @default.
- W2292986447 countsByYear W22929864472015 @default.
- W2292986447 countsByYear W22929864472016 @default.
- W2292986447 countsByYear W22929864472020 @default.
- W2292986447 countsByYear W22929864472021 @default.
- W2292986447 countsByYear W22929864472022 @default.
- W2292986447 crossrefType "book-chapter" @default.
- W2292986447 hasAuthorship W2292986447A5047754900 @default.
- W2292986447 hasAuthorship W2292986447A5055959064 @default.
- W2292986447 hasAuthorship W2292986447A5067950871 @default.
- W2292986447 hasConcept C10138342 @default.
- W2292986447 hasConcept C101468663 @default.
- W2292986447 hasConcept C11164408 @default.
- W2292986447 hasConcept C162324750 @default.
- W2292986447 hasConcept C182306322 @default.
- W2292986447 hasConcept C199305712 @default.
- W2292986447 hasConcept C199360897 @default.
- W2292986447 hasConcept C2780801425 @default.
- W2292986447 hasConcept C34165917 @default.
- W2292986447 hasConcept C41008148 @default.
- W2292986447 hasConcept C74149592 @default.
- W2292986447 hasConceptScore W2292986447C10138342 @default.
- W2292986447 hasConceptScore W2292986447C101468663 @default.
- W2292986447 hasConceptScore W2292986447C11164408 @default.
- W2292986447 hasConceptScore W2292986447C162324750 @default.
- W2292986447 hasConceptScore W2292986447C182306322 @default.
- W2292986447 hasConceptScore W2292986447C199305712 @default.
- W2292986447 hasConceptScore W2292986447C199360897 @default.
- W2292986447 hasConceptScore W2292986447C2780801425 @default.
- W2292986447 hasConceptScore W2292986447C34165917 @default.
- W2292986447 hasConceptScore W2292986447C41008148 @default.
- W2292986447 hasConceptScore W2292986447C74149592 @default.
- W2292986447 hasLocation W22929864471 @default.
- W2292986447 hasOpenAccess W2292986447 @default.
- W2292986447 hasPrimaryLocation W22929864471 @default.
- W2292986447 hasRelatedWork W1547106396 @default.
- W2292986447 hasRelatedWork W1973795410 @default.
- W2292986447 hasRelatedWork W2161156675 @default.
- W2292986447 hasRelatedWork W2264335287 @default.
- W2292986447 hasRelatedWork W2582863885 @default.
- W2292986447 hasRelatedWork W29671655 @default.
- W2292986447 hasRelatedWork W2997582482 @default.
- W2292986447 hasRelatedWork W2999858054 @default.
- W2292986447 hasRelatedWork W4244888611 @default.
- W2292986447 hasRelatedWork W4318211872 @default.
- W2292986447 isParatext "false" @default.
- W2292986447 isRetracted "false" @default.
- W2292986447 magId "2292986447" @default.
- W2292986447 workType "book-chapter" @default.