Matches in SemOpenAlex for { <https://semopenalex.org/work/W2021094735> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2021094735 endingPage "340" @default.
- W2021094735 startingPage "326" @default.
- W2021094735 abstract "We give axioms for an operation that describes the states from which a computation has infinite executions in several relational and matrix-based models. The models cover non-strict and strict computations which represent finite, infinite and aborting executions with varying precision. Based on the operation we provide an approximation order for a unified description of recursion. Least fixpoints in the approximation order are reduced to least and greatest fixpoints in the underlying semilattice order. We specialise this to a unified description of iteration which satisfies the axioms of a binary operation introduced in previous work. Previous consequences therefore generalise to all discussed computation models in a uniform way. All algebraic results are verified in Isabelle using its integrated automated theorem provers and SMT solvers. • We axiomatise the states from which a computation has infinite executions. • We uniformly cover relational and matrix-based models of non-strict and strict computations. • We give a new instance of binary iterings. • We verify all results in Isabelle, heavily using its automated theorem provers." @default.
- W2021094735 created "2016-06-24" @default.
- W2021094735 creator A5071961816 @default.
- W2021094735 date "2015-05-01" @default.
- W2021094735 modified "2023-09-29" @default.
- W2021094735 title "Infinite executions of lazy and strict computations" @default.
- W2021094735 cites W1448942713 @default.
- W2021094735 cites W145131776 @default.
- W2021094735 cites W1483831133 @default.
- W2021094735 cites W1523284847 @default.
- W2021094735 cites W1525510911 @default.
- W2021094735 cites W1542605821 @default.
- W2021094735 cites W1570949334 @default.
- W2021094735 cites W1575371317 @default.
- W2021094735 cites W1595209293 @default.
- W2021094735 cites W16542559 @default.
- W2021094735 cites W1667913537 @default.
- W2021094735 cites W1674186056 @default.
- W2021094735 cites W1835285141 @default.
- W2021094735 cites W193272088 @default.
- W2021094735 cites W1968728708 @default.
- W2021094735 cites W1971927827 @default.
- W2021094735 cites W1990589200 @default.
- W2021094735 cites W1998368317 @default.
- W2021094735 cites W2006006495 @default.
- W2021094735 cites W2010626618 @default.
- W2021094735 cites W2016265082 @default.
- W2021094735 cites W2016732604 @default.
- W2021094735 cites W2030865387 @default.
- W2021094735 cites W2031460417 @default.
- W2021094735 cites W2035306406 @default.
- W2021094735 cites W2056240511 @default.
- W2021094735 cites W2068047345 @default.
- W2021094735 cites W2085133105 @default.
- W2021094735 cites W2103953153 @default.
- W2021094735 cites W2106192381 @default.
- W2021094735 cites W2111706174 @default.
- W2021094735 cites W2130089820 @default.
- W2021094735 cites W2142100108 @default.
- W2021094735 cites W2149537518 @default.
- W2021094735 cites W2163152086 @default.
- W2021094735 cites W3146075203 @default.
- W2021094735 cites W67633796 @default.
- W2021094735 cites W70873062 @default.
- W2021094735 cites W836255558 @default.
- W2021094735 cites W2478926232 @default.
- W2021094735 cites W2503423783 @default.
- W2021094735 doi "https://doi.org/10.1016/j.jlamp.2014.08.001" @default.
- W2021094735 hasPublicationYear "2015" @default.
- W2021094735 type Work @default.
- W2021094735 sameAs 2021094735 @default.
- W2021094735 citedByCount "4" @default.
- W2021094735 countsByYear W20210947352016 @default.
- W2021094735 countsByYear W20210947352019 @default.
- W2021094735 countsByYear W20210947352021 @default.
- W2021094735 crossrefType "journal-article" @default.
- W2021094735 hasAuthorship W2021094735A5071961816 @default.
- W2021094735 hasBestOaLocation W20210947351 @default.
- W2021094735 hasConcept C128099668 @default.
- W2021094735 hasConcept C173608175 @default.
- W2021094735 hasConcept C199360897 @default.
- W2021094735 hasConcept C33923547 @default.
- W2021094735 hasConcept C41008148 @default.
- W2021094735 hasConcept C42383842 @default.
- W2021094735 hasConcept C45374587 @default.
- W2021094735 hasConceptScore W2021094735C128099668 @default.
- W2021094735 hasConceptScore W2021094735C173608175 @default.
- W2021094735 hasConceptScore W2021094735C199360897 @default.
- W2021094735 hasConceptScore W2021094735C33923547 @default.
- W2021094735 hasConceptScore W2021094735C41008148 @default.
- W2021094735 hasConceptScore W2021094735C42383842 @default.
- W2021094735 hasConceptScore W2021094735C45374587 @default.
- W2021094735 hasIssue "3" @default.
- W2021094735 hasLocation W20210947351 @default.
- W2021094735 hasOpenAccess W2021094735 @default.
- W2021094735 hasPrimaryLocation W20210947351 @default.
- W2021094735 hasRelatedWork W1491899005 @default.
- W2021094735 hasRelatedWork W1572523360 @default.
- W2021094735 hasRelatedWork W1604898313 @default.
- W2021094735 hasRelatedWork W2027798793 @default.
- W2021094735 hasRelatedWork W2067104518 @default.
- W2021094735 hasRelatedWork W2117014006 @default.
- W2021094735 hasRelatedWork W2164287667 @default.
- W2021094735 hasRelatedWork W2354062721 @default.
- W2021094735 hasRelatedWork W2372170743 @default.
- W2021094735 hasRelatedWork W4233815414 @default.
- W2021094735 hasVolume "84" @default.
- W2021094735 isParatext "false" @default.
- W2021094735 isRetracted "false" @default.
- W2021094735 magId "2021094735" @default.
- W2021094735 workType "article" @default.