Matches in SemOpenAlex for { <https://semopenalex.org/work/W1527013250> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W1527013250 endingPage "514" @default.
- W1527013250 startingPage "495" @default.
- W1527013250 abstract "CARE provides a framework for construction and verification of programs, based around the recording of reusable design knowledge in parameterized templates. This paper shows how pattern-matching can be used to aid in the selection and application of design templates from a reusable library. A general framework is presented which is independent of the particular matching algorithm used at the level of mathematical expressions. A prototype has been built which supports a large subset of the Z mathematical language." @default.
- W1527013250 created "2016-06-24" @default.
- W1527013250 creator A5018897330 @default.
- W1527013250 creator A5027510583 @default.
- W1527013250 date "1997-01-01" @default.
- W1527013250 modified "2023-09-26" @default.
- W1527013250 title "Reuse of verified design templates through extended pattern matching" @default.
- W1527013250 cites W13051096 @default.
- W1527013250 cites W1574621793 @default.
- W1527013250 cites W1603641306 @default.
- W1527013250 cites W1968553906 @default.
- W1527013250 cites W2034676877 @default.
- W1527013250 cites W2078095352 @default.
- W1527013250 cites W2118003450 @default.
- W1527013250 cites W2118106092 @default.
- W1527013250 cites W2163026074 @default.
- W1527013250 cites W4253762387 @default.
- W1527013250 doi "https://doi.org/10.1007/3-540-63533-5_26" @default.
- W1527013250 hasPublicationYear "1997" @default.
- W1527013250 type Work @default.
- W1527013250 sameAs 1527013250 @default.
- W1527013250 citedByCount "6" @default.
- W1527013250 countsByYear W15270132502015 @default.
- W1527013250 countsByYear W15270132502016 @default.
- W1527013250 crossrefType "book-chapter" @default.
- W1527013250 hasAuthorship W1527013250A5018897330 @default.
- W1527013250 hasAuthorship W1527013250A5027510583 @default.
- W1527013250 hasConcept C105795698 @default.
- W1527013250 hasConcept C115903868 @default.
- W1527013250 hasConcept C165064840 @default.
- W1527013250 hasConcept C18903297 @default.
- W1527013250 hasConcept C199360897 @default.
- W1527013250 hasConcept C206588197 @default.
- W1527013250 hasConcept C33923547 @default.
- W1527013250 hasConcept C41008148 @default.
- W1527013250 hasConcept C82714645 @default.
- W1527013250 hasConcept C86803240 @default.
- W1527013250 hasConceptScore W1527013250C105795698 @default.
- W1527013250 hasConceptScore W1527013250C115903868 @default.
- W1527013250 hasConceptScore W1527013250C165064840 @default.
- W1527013250 hasConceptScore W1527013250C18903297 @default.
- W1527013250 hasConceptScore W1527013250C199360897 @default.
- W1527013250 hasConceptScore W1527013250C206588197 @default.
- W1527013250 hasConceptScore W1527013250C33923547 @default.
- W1527013250 hasConceptScore W1527013250C41008148 @default.
- W1527013250 hasConceptScore W1527013250C82714645 @default.
- W1527013250 hasConceptScore W1527013250C86803240 @default.
- W1527013250 hasLocation W15270132501 @default.
- W1527013250 hasOpenAccess W1527013250 @default.
- W1527013250 hasPrimaryLocation W15270132501 @default.
- W1527013250 hasRelatedWork W1527862632 @default.
- W1527013250 hasRelatedWork W1853785581 @default.
- W1527013250 hasRelatedWork W1964057193 @default.
- W1527013250 hasRelatedWork W2109507516 @default.
- W1527013250 hasRelatedWork W2112962394 @default.
- W1527013250 hasRelatedWork W2118300983 @default.
- W1527013250 hasRelatedWork W2135396778 @default.
- W1527013250 hasRelatedWork W2740990710 @default.
- W1527013250 hasRelatedWork W3137189469 @default.
- W1527013250 hasRelatedWork W4243252198 @default.
- W1527013250 isParatext "false" @default.
- W1527013250 isRetracted "false" @default.
- W1527013250 magId "1527013250" @default.
- W1527013250 workType "book-chapter" @default.