FRINK Linked Data Fragments server

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

• W41993424 abstract "Partial, total and general correctness and further models of sequential computations differ in their treatment of finite, infinite and aborting executions. Algebras structure this diversity of models to avoid the repeated development of similar theories and to clarify their range of application. We introduce algebras that uniformly describe correctness statements, correctness calculi, pre-post specifications and loop refinement rules in five kinds of computation models. This extends previous work that unifies iteration, recursion and program transformations for some of these models. Our new description includes a relativised domain operation, which ignores parts of a computation, and represents bound functions for claims of termination by sequences of tests. We verify all results in Isabelle heavily using its automated theorem provers." @default.
• W41993424 created "2016-06-24" @default.
• W41993424 creator A5071961816 @default.
• W41993424 date "2012-01-01" @default.
• W41993424 modified "2023-09-26" @default.
• W41993424 title "Unifying Correctness Statements" @default.
• W41993424 cites W1448942713 @default.
• W41993424 cites W1483831133 @default.
• W41993424 cites W1490966766 @default.
• W41993424 cites W1523284847 @default.
• W41993424 cites W1525510911 @default.
• W41993424 cites W1531323259 @default.
• W41993424 cites W1555715175 @default.
• W41993424 cites W1575371317 @default.
• W41993424 cites W1667913537 @default.
• W41993424 cites W1835285141 @default.
• W41993424 cites W193272088 @default.
• W41993424 cites W1966503837 @default.
• W41993424 cites W1973020074 @default.
• W41993424 cites W1976324339 @default.
• W41993424 cites W1990589200 @default.
• W41993424 cites W2001616837 @default.
• W41993424 cites W2010626618 @default.
• W41993424 cites W2011444209 @default.
• W41993424 cites W2016732604 @default.
• W41993424 cites W2030865387 @default.
• W41993424 cites W2031460417 @default.
• W41993424 cites W2035306406 @default.
• W41993424 cites W2068047345 @default.
• W41993424 cites W2085133105 @default.
• W41993424 cites W2087713039 @default.
• W41993424 cites W2110846749 @default.
• W41993424 cites W2142100108 @default.
• W41993424 cites W2161472487 @default.
• W41993424 cites W2163152086 @default.
• W41993424 cites W2569787747 @default.
• W41993424 cites W2987907651 @default.
• W41993424 cites W4212873283 @default.
• W41993424 cites W67968079 @default.
• W41993424 doi "https://doi.org/10.1007/978-3-642-31113-0_11" @default.
• W41993424 hasPublicationYear "2012" @default.
• W41993424 type Work @default.
• W41993424 sameAs 41993424 @default.
• W41993424 citedByCount "2" @default.
• W41993424 countsByYear W419934242012 @default.
• W41993424 countsByYear W419934242013 @default.
• W41993424 crossrefType "book-chapter" @default.
• W41993424 hasAuthorship W41993424A5071961816 @default.
• W41993424 hasConcept C11413529 @default.
• W41993424 hasConcept C134306372 @default.
• W41993424 hasConcept C136119220 @default.
• W41993424 hasConcept C159985019 @default.
• W41993424 hasConcept C168773036 @default.
• W41993424 hasConcept C184596265 @default.
• W41993424 hasConcept C192562407 @default.
• W41993424 hasConcept C199360897 @default.
• W41993424 hasConcept C202444582 @default.
• W41993424 hasConcept C204323151 @default.
• W41993424 hasConcept C33923547 @default.
• W41993424 hasConcept C36503486 @default.
• W41993424 hasConcept C41008148 @default.
• W41993424 hasConcept C45374587 @default.
• W41993424 hasConcept C55439883 @default.
• W41993424 hasConcept C80444323 @default.
• W41993424 hasConceptScore W41993424C11413529 @default.
• W41993424 hasConceptScore W41993424C134306372 @default.
• W41993424 hasConceptScore W41993424C136119220 @default.
• W41993424 hasConceptScore W41993424C159985019 @default.
• W41993424 hasConceptScore W41993424C168773036 @default.
• W41993424 hasConceptScore W41993424C184596265 @default.
• W41993424 hasConceptScore W41993424C192562407 @default.
• W41993424 hasConceptScore W41993424C199360897 @default.
• W41993424 hasConceptScore W41993424C202444582 @default.
• W41993424 hasConceptScore W41993424C204323151 @default.
• W41993424 hasConceptScore W41993424C33923547 @default.
• W41993424 hasConceptScore W41993424C36503486 @default.
• W41993424 hasConceptScore W41993424C41008148 @default.
• W41993424 hasConceptScore W41993424C45374587 @default.
• W41993424 hasConceptScore W41993424C55439883 @default.
• W41993424 hasConceptScore W41993424C80444323 @default.
• W41993424 hasLocation W419934241 @default.
• W41993424 hasOpenAccess W41993424 @default.
• W41993424 hasPrimaryLocation W419934241 @default.
• W41993424 hasRelatedWork W136121193 @default.
• W41993424 hasRelatedWork W1508895727 @default.
• W41993424 hasRelatedWork W1512696545 @default.
• W41993424 hasRelatedWork W1514811622 @default.
• W41993424 hasRelatedWork W1555715175 @default.
• W41993424 hasRelatedWork W1568896301 @default.
• W41993424 hasRelatedWork W1575371317 @default.
• W41993424 hasRelatedWork W1593534415 @default.
• W41993424 hasRelatedWork W1804654308 @default.
• W41993424 hasRelatedWork W1970434055 @default.
• W41993424 hasRelatedWork W2021204605 @default.
• W41993424 hasRelatedWork W2025113826 @default.
• W41993424 hasRelatedWork W2041039571 @default.
• W41993424 hasRelatedWork W2086108880 @default.
• W41993424 hasRelatedWork W2279194953 @default.
• W41993424 hasRelatedWork W2342011962 @default.
• W41993424 hasRelatedWork W2886052601 @default.

• next