Matches in SemOpenAlex for { <https://semopenalex.org/work/W2187005512> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2187005512 abstract "Kleene algebra with tests (KAT) is an equational system for program verification, which is the combination of Boolean algebra (BA) and Kleene algebra (KA), the algebra of regular expressions. In particular, KAT subsumes the propositional fragment of Hoare logic (PHL) which is a formal system for the specification and verification of programs, and that is currently the base of most tools for checking program correctness. Both the equational theory of KAT and the encoding of PHL in KAT are known to be decidable. In this paper we present a new decision procedure for the equivalence of two KAT expressions based on the notion of partial derivatives. We also introduce the notion of derivative modulo particular sets of equations. With this we extend the previous procedure for deciding PHL. Some experimental results are also presented." @default.
- W2187005512 created "2016-06-24" @default.
- W2187005512 creator A5020395659 @default.
- W2187005512 creator A5050588876 @default.
- W2187005512 creator A5050789330 @default.
- W2187005512 date "2013-01-01" @default.
- W2187005512 modified "2023-09-27" @default.
- W2187005512 title "KAT and Hoare Logic with Derivatives" @default.
- W2187005512 cites W146784359 @default.
- W2187005512 cites W1509918383 @default.
- W2187005512 cites W1557559121 @default.
- W2187005512 cites W1574223981 @default.
- W2187005512 cites W164550212 @default.
- W2187005512 cites W1762364904 @default.
- W2187005512 cites W1998368317 @default.
- W2187005512 cites W2002963162 @default.
- W2187005512 cites W2010626618 @default.
- W2187005512 cites W2058926819 @default.
- W2187005512 cites W2067747634 @default.
- W2187005512 cites W2094985106 @default.
- W2187005512 cites W2102823559 @default.
- W2187005512 cites W2142667604 @default.
- W2187005512 cites W2163152086 @default.
- W2187005512 cites W2405408038 @default.
- W2187005512 cites W3146075203 @default.
- W2187005512 cites W2182854164 @default.
- W2187005512 hasPublicationYear "2013" @default.
- W2187005512 type Work @default.
- W2187005512 sameAs 2187005512 @default.
- W2187005512 citedByCount "0" @default.
- W2187005512 crossrefType "journal-article" @default.
- W2187005512 hasAuthorship W2187005512A5020395659 @default.
- W2187005512 hasAuthorship W2187005512A5050588876 @default.
- W2187005512 hasAuthorship W2187005512A5050789330 @default.
- W2187005512 hasConcept C118615104 @default.
- W2187005512 hasConcept C136119220 @default.
- W2187005512 hasConcept C153269930 @default.
- W2187005512 hasConcept C199360897 @default.
- W2187005512 hasConcept C202444582 @default.
- W2187005512 hasConcept C206470798 @default.
- W2187005512 hasConcept C2776235265 @default.
- W2187005512 hasConcept C2780069185 @default.
- W2187005512 hasConcept C33923547 @default.
- W2187005512 hasConcept C39685927 @default.
- W2187005512 hasConcept C41008148 @default.
- W2187005512 hasConcept C54732982 @default.
- W2187005512 hasConcept C55439883 @default.
- W2187005512 hasConcept C69562738 @default.
- W2187005512 hasConceptScore W2187005512C118615104 @default.
- W2187005512 hasConceptScore W2187005512C136119220 @default.
- W2187005512 hasConceptScore W2187005512C153269930 @default.
- W2187005512 hasConceptScore W2187005512C199360897 @default.
- W2187005512 hasConceptScore W2187005512C202444582 @default.
- W2187005512 hasConceptScore W2187005512C206470798 @default.
- W2187005512 hasConceptScore W2187005512C2776235265 @default.
- W2187005512 hasConceptScore W2187005512C2780069185 @default.
- W2187005512 hasConceptScore W2187005512C33923547 @default.
- W2187005512 hasConceptScore W2187005512C39685927 @default.
- W2187005512 hasConceptScore W2187005512C41008148 @default.
- W2187005512 hasConceptScore W2187005512C54732982 @default.
- W2187005512 hasConceptScore W2187005512C55439883 @default.
- W2187005512 hasConceptScore W2187005512C69562738 @default.
- W2187005512 hasLocation W21870055121 @default.
- W2187005512 hasOpenAccess W2187005512 @default.
- W2187005512 hasPrimaryLocation W21870055121 @default.
- W2187005512 hasRelatedWork W1557559121 @default.
- W2187005512 hasRelatedWork W1557727575 @default.
- W2187005512 hasRelatedWork W1975577974 @default.
- W2187005512 hasRelatedWork W2010626618 @default.
- W2187005512 hasRelatedWork W2027983931 @default.
- W2187005512 hasRelatedWork W2044511080 @default.
- W2187005512 hasRelatedWork W2068047345 @default.
- W2187005512 hasRelatedWork W2078204730 @default.
- W2187005512 hasRelatedWork W2115815300 @default.
- W2187005512 hasRelatedWork W2140189867 @default.
- W2187005512 hasRelatedWork W2141931064 @default.
- W2187005512 hasRelatedWork W2889005041 @default.
- W2187005512 hasRelatedWork W2896709287 @default.
- W2187005512 hasRelatedWork W2951755804 @default.
- W2187005512 hasRelatedWork W2970531535 @default.
- W2187005512 hasRelatedWork W2982361455 @default.
- W2187005512 hasRelatedWork W2997858901 @default.
- W2187005512 hasRelatedWork W2999376290 @default.
- W2187005512 hasRelatedWork W3123988290 @default.
- W2187005512 hasRelatedWork W5111054 @default.
- W2187005512 isParatext "false" @default.
- W2187005512 isRetracted "false" @default.
- W2187005512 magId "2187005512" @default.
- W2187005512 workType "article" @default.