FRINK Linked Data Fragments server

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

• W1968728708 endingPage "2085" @default.
• W1968728708 startingPage "2064" @default.
• W1968728708 abstract "Extended designs distinguish non-terminating and aborting executions of sequential, non-deterministic programs. We show how to treat them algebraically based on techniques we have previously applied to total and general correctness approaches. In particular, we propose modifications to the definition of an extended design which make the theory more clear and simplify calculations, and an approximation order for recursion. We derive explicit formulas for operators on extended designs including non-deterministic choice, sequential composition, while-loops and full recursion. We show how to represent extended designs as designs or prescriptions over an extended state space. The new theory generalises our previous algebraic theory of general correctness by weakening its axioms. It also integrates with partial, total and general correctness into a common foundation which gives a unified semantics of while-programs. Program transformations derived using this semantics are valid in all four correctness approaches." @default.
• W1968728708 created "2016-06-24" @default.
• W1968728708 creator A5071961816 @default.
• W1968728708 date "2013-11-01" @default.
• W1968728708 modified "2023-10-18" @default.
• W1968728708 title "Extended designs algebraically" @default.
• W1968728708 cites W1448942713 @default.
• W1968728708 cites W145131776 @default.
• W1968728708 cites W1483831133 @default.
• W1968728708 cites W1523284847 @default.
• W1968728708 cites W1525510911 @default.
• W1968728708 cites W1531323259 @default.
• W1968728708 cites W1542605821 @default.
• W1968728708 cites W1555715175 @default.
• W1968728708 cites W1575371317 @default.
• W1968728708 cites W1667913537 @default.
• W1968728708 cites W1768116931 @default.
• W1968728708 cites W1835285141 @default.
• W1968728708 cites W193272088 @default.
• W1968728708 cites W1968315635 @default.
• W1968728708 cites W1975551945 @default.
• W1968728708 cites W1990589200 @default.
• W1968728708 cites W1990787548 @default.
• W1968728708 cites W1998368317 @default.
• W1968728708 cites W2001616837 @default.
• W1968728708 cites W2010331618 @default.
• W1968728708 cites W2010626618 @default.
• W1968728708 cites W2016732604 @default.
• W1968728708 cites W2030865387 @default.
• W1968728708 cites W2031460417 @default.
• W1968728708 cites W2035306406 @default.
• W1968728708 cites W2054917142 @default.
• W1968728708 cites W2056240511 @default.
• W1968728708 cites W2068047345 @default.
• W1968728708 cites W2085133105 @default.
• W1968728708 cites W2103953153 @default.
• W1968728708 cites W2142100108 @default.
• W1968728708 cites W2163152086 @default.
• W1968728708 cites W2911311810 @default.
• W1968728708 cites W3146075203 @default.
• W1968728708 cites W2478926232 @default.
• W1968728708 cites W2524207558 @default.
• W1968728708 doi "https://doi.org/10.1016/j.scico.2012.07.009" @default.
• W1968728708 hasPublicationYear "2013" @default.
• W1968728708 type Work @default.
• W1968728708 sameAs 1968728708 @default.
• W1968728708 citedByCount "7" @default.
• W1968728708 countsByYear W19687287082013 @default.
• W1968728708 countsByYear W19687287082014 @default.
• W1968728708 countsByYear W19687287082015 @default.
• W1968728708 countsByYear W19687287082016 @default.
• W1968728708 crossrefType "journal-article" @default.
• W1968728708 hasAuthorship W1968728708A5071961816 @default.
• W1968728708 hasBestOaLocation W19687287081 @default.
• W1968728708 hasConcept C11413529 @default.
• W1968728708 hasConcept C134306372 @default.
• W1968728708 hasConcept C136119220 @default.
• W1968728708 hasConcept C167729594 @default.
• W1968728708 hasConcept C168773036 @default.
• W1968728708 hasConcept C184337299 @default.
• W1968728708 hasConcept C199360897 @default.
• W1968728708 hasConcept C202444582 @default.
• W1968728708 hasConcept C2524010 @default.
• W1968728708 hasConcept C2779782106 @default.
• W1968728708 hasConcept C33923547 @default.
• W1968728708 hasConcept C41008148 @default.
• W1968728708 hasConcept C55439883 @default.
• W1968728708 hasConcept C80444323 @default.
• W1968728708 hasConcept C9376300 @default.
• W1968728708 hasConceptScore W1968728708C11413529 @default.
• W1968728708 hasConceptScore W1968728708C134306372 @default.
• W1968728708 hasConceptScore W1968728708C136119220 @default.
• W1968728708 hasConceptScore W1968728708C167729594 @default.
• W1968728708 hasConceptScore W1968728708C168773036 @default.
• W1968728708 hasConceptScore W1968728708C184337299 @default.
• W1968728708 hasConceptScore W1968728708C199360897 @default.
• W1968728708 hasConceptScore W1968728708C202444582 @default.
• W1968728708 hasConceptScore W1968728708C2524010 @default.
• W1968728708 hasConceptScore W1968728708C2779782106 @default.
• W1968728708 hasConceptScore W1968728708C33923547 @default.
• W1968728708 hasConceptScore W1968728708C41008148 @default.
• W1968728708 hasConceptScore W1968728708C55439883 @default.
• W1968728708 hasConceptScore W1968728708C80444323 @default.
• W1968728708 hasConceptScore W1968728708C9376300 @default.
• W1968728708 hasIssue "11" @default.
• W1968728708 hasLocation W19687287081 @default.
• W1968728708 hasOpenAccess W1968728708 @default.
• W1968728708 hasPrimaryLocation W19687287081 @default.
• W1968728708 hasRelatedWork W127754453 @default.
• W1968728708 hasRelatedWork W147241645 @default.
• W1968728708 hasRelatedWork W1502626632 @default.
• W1968728708 hasRelatedWork W1575643632 @default.
• W1968728708 hasRelatedWork W1605128268 @default.
• W1968728708 hasRelatedWork W1985198438 @default.
• W1968728708 hasRelatedWork W2053558194 @default.
• W1968728708 hasRelatedWork W2125777207 @default.
• W1968728708 hasRelatedWork W2734938181 @default.
• W1968728708 hasRelatedWork W4238823939 @default.

• next