FRINK Linked Data Fragments server

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

• W2228757736 endingPage "30" @default.
• W2228757736 startingPage "1" @default.
• W2228757736 abstract "The equational theory of deterministic monadic recursion schemes is known to be decidable by the result of Sénizergues on the decidability of the problem of DPDA equivalence. In order to capture some properties of the domain of computation, we augment equations with certain hypotheses. This preserves the decidability of the theory, which we call simple implicational theory . The asymptotically fastest algorithm known for deciding the equational theory, and also for deciding the simple implicational theory, has a running time that is nonelementary. We therefore consider a restriction of the properties about schemes to check: instead of arbitrary equations f ≡ g between schemes, we focus on propositional Hoare assertions { p } f { q }, where f is a scheme and p , q are tests. Such Hoare assertions have a straightforward encoding as equations. For this subclass of program properties, we can also handle nondeterminism at the syntactic and/or at the semantic level, without increasing the complexity of the theories. We investigate the Hoare theory of monadic recursion schemes, that is, the set of valid implications whose conclusions are Hoare assertions and whose premises are of a certain simple form. We present a sound and complete Hoare-style calculus for this theory. We also show that the Hoare theory can be decided in exponential time, and that it is complete for this class." @default.
• W2228757736 created "2016-06-24" @default.
• W2228757736 creator A5052392314 @default.
• W2228757736 date "2016-01-07" @default.
• W2228757736 modified "2023-09-26" @default.
• W2228757736 title "The Hoare Logic of Deterministic and Nondeterministic Monadic Recursion Schemes" @default.
• W2228757736 cites W136524193 @default.
• W2228757736 cites W18618678 @default.
• W2228757736 cites W1980738498 @default.
• W2228757736 cites W1991034910 @default.
• W2228757736 cites W1993997214 @default.
• W2228757736 cites W1998368317 @default.
• W2228757736 cites W2004459113 @default.
• W2228757736 cites W2009721064 @default.
• W2228757736 cites W2010626618 @default.
• W2228757736 cites W2016313399 @default.
• W2228757736 cites W2020570874 @default.
• W2228757736 cites W2024130312 @default.
• W2228757736 cites W2027983931 @default.
• W2228757736 cites W2029498583 @default.
• W2228757736 cites W2045344413 @default.
• W2228757736 cites W2063825888 @default.
• W2228757736 cites W2068106852 @default.
• W2228757736 cites W2069709605 @default.
• W2228757736 cites W2075350371 @default.
• W2228757736 cites W2084414320 @default.
• W2228757736 cites W2111619838 @default.
• W2228757736 cites W2111753126 @default.
• W2228757736 cites W2130210899 @default.
• W2228757736 cites W2163152086 @default.
• W2228757736 cites W2541894000 @default.
• W2228757736 cites W2987907651 @default.
• W2228757736 cites W3100419297 @default.
• W2228757736 cites W324507974 @default.
• W2228757736 cites W4234924236 @default.
• W2228757736 cites W4239007999 @default.
• W2228757736 cites W4241108585 @default.
• W2228757736 cites W66182865 @default.
• W2228757736 doi "https://doi.org/10.1145/2835491" @default.
• W2228757736 hasPublicationYear "2016" @default.
• W2228757736 type Work @default.
• W2228757736 sameAs 2228757736 @default.
• W2228757736 citedByCount "3" @default.
• W2228757736 countsByYear W22287577362017 @default.
• W2228757736 countsByYear W22287577362020 @default.
• W2228757736 crossrefType "journal-article" @default.
• W2228757736 hasAuthorship W2228757736A5052392314 @default.
• W2228757736 hasConcept C104949639 @default.
• W2228757736 hasConcept C111142201 @default.
• W2228757736 hasConcept C111472728 @default.
• W2228757736 hasConcept C11413529 @default.
• W2228757736 hasConcept C118615104 @default.
• W2228757736 hasConcept C136119220 @default.
• W2228757736 hasConcept C138885662 @default.
• W2228757736 hasConcept C153269930 @default.
• W2228757736 hasConcept C154945302 @default.
• W2228757736 hasConcept C168773036 @default.
• W2228757736 hasConcept C173856430 @default.
• W2228757736 hasConcept C176181172 @default.
• W2228757736 hasConcept C199360897 @default.
• W2228757736 hasConcept C202444582 @default.
• W2228757736 hasConcept C2777212361 @default.
• W2228757736 hasConcept C2780586882 @default.
• W2228757736 hasConcept C33923547 @default.
• W2228757736 hasConcept C41008148 @default.
• W2228757736 hasConcept C55439883 @default.
• W2228757736 hasConceptScore W2228757736C104949639 @default.
• W2228757736 hasConceptScore W2228757736C111142201 @default.
• W2228757736 hasConceptScore W2228757736C111472728 @default.
• W2228757736 hasConceptScore W2228757736C11413529 @default.
• W2228757736 hasConceptScore W2228757736C118615104 @default.
• W2228757736 hasConceptScore W2228757736C136119220 @default.
• W2228757736 hasConceptScore W2228757736C138885662 @default.
• W2228757736 hasConceptScore W2228757736C153269930 @default.
• W2228757736 hasConceptScore W2228757736C154945302 @default.
• W2228757736 hasConceptScore W2228757736C168773036 @default.
• W2228757736 hasConceptScore W2228757736C173856430 @default.
• W2228757736 hasConceptScore W2228757736C176181172 @default.
• W2228757736 hasConceptScore W2228757736C199360897 @default.
• W2228757736 hasConceptScore W2228757736C202444582 @default.
• W2228757736 hasConceptScore W2228757736C2777212361 @default.
• W2228757736 hasConceptScore W2228757736C2780586882 @default.
• W2228757736 hasConceptScore W2228757736C33923547 @default.
• W2228757736 hasConceptScore W2228757736C41008148 @default.
• W2228757736 hasConceptScore W2228757736C55439883 @default.
• W2228757736 hasIssue "2" @default.
• W2228757736 hasLocation W22287577361 @default.
• W2228757736 hasOpenAccess W2228757736 @default.
• W2228757736 hasPrimaryLocation W22287577361 @default.
• W2228757736 hasRelatedWork W2017747697 @default.
• W2228757736 hasRelatedWork W2084068730 @default.
• W2228757736 hasRelatedWork W2084414320 @default.
• W2228757736 hasRelatedWork W2228757736 @default.
• W2228757736 hasRelatedWork W2618109676 @default.
• W2228757736 hasRelatedWork W2963446106 @default.
• W2228757736 hasRelatedWork W374533128 @default.
• W2228757736 hasRelatedWork W4294344576 @default.
• W2228757736 hasRelatedWork W59103672 @default.

• next