Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950310012> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2950310012 abstract "The Homeomorphic Embedding relation has been amply used for defining termination criteria of symbolic methods for program analysis, transformation, and verification. However, homeomorphic embedding has never been investigated in the context of order-sorted rewrite theories that support symbolic execution methods modulo equational axioms. This paper generalizes the symbolic homeomorphic embedding relation to order-sorted rewrite theories that may contain various combinations of associativity and/or commutativity axioms for different binary operators. We systematically measure the performance of increasingly efficient formulations of the homeomorphic embedding relation modulo associativity and commutativity axioms. From our experimental results, we conclude that our most efficient version indeed pays off in practice." @default.
- W2950310012 created "2019-06-27" @default.
- W2950310012 creator A5007839082 @default.
- W2950310012 creator A5020290830 @default.
- W2950310012 creator A5032149189 @default.
- W2950310012 creator A5033696911 @default.
- W2950310012 date "2018-08-15" @default.
- W2950310012 modified "2023-10-15" @default.
- W2950310012 title "Homeomorphic Embedding modulo Combinations of Associativity and Commutativity Axioms" @default.
- W2950310012 cites W2079684794 @default.
- W2950310012 cites W2116776985 @default.
- W2950310012 cites W2516251718 @default.
- W2950310012 cites W2912818154 @default.
- W2950310012 hasPublicationYear "2018" @default.
- W2950310012 type Work @default.
- W2950310012 sameAs 2950310012 @default.
- W2950310012 citedByCount "0" @default.
- W2950310012 crossrefType "posted-content" @default.
- W2950310012 hasAuthorship W2950310012A5007839082 @default.
- W2950310012 hasAuthorship W2950310012A5020290830 @default.
- W2950310012 hasAuthorship W2950310012A5032149189 @default.
- W2950310012 hasAuthorship W2950310012A5033696911 @default.
- W2950310012 hasConcept C10138342 @default.
- W2950310012 hasConcept C118615104 @default.
- W2950310012 hasConcept C124101348 @default.
- W2950310012 hasConcept C136119220 @default.
- W2950310012 hasConcept C151730666 @default.
- W2950310012 hasConcept C154945302 @default.
- W2950310012 hasConcept C159423971 @default.
- W2950310012 hasConcept C162324750 @default.
- W2950310012 hasConcept C167729594 @default.
- W2950310012 hasConcept C182306322 @default.
- W2950310012 hasConcept C183778304 @default.
- W2950310012 hasConcept C202444582 @default.
- W2950310012 hasConcept C2524010 @default.
- W2950310012 hasConcept C25343380 @default.
- W2950310012 hasConcept C2779343474 @default.
- W2950310012 hasConcept C33923547 @default.
- W2950310012 hasConcept C41008148 @default.
- W2950310012 hasConcept C41608201 @default.
- W2950310012 hasConcept C54732982 @default.
- W2950310012 hasConcept C65180967 @default.
- W2950310012 hasConcept C80444323 @default.
- W2950310012 hasConcept C86803240 @default.
- W2950310012 hasConceptScore W2950310012C10138342 @default.
- W2950310012 hasConceptScore W2950310012C118615104 @default.
- W2950310012 hasConceptScore W2950310012C124101348 @default.
- W2950310012 hasConceptScore W2950310012C136119220 @default.
- W2950310012 hasConceptScore W2950310012C151730666 @default.
- W2950310012 hasConceptScore W2950310012C154945302 @default.
- W2950310012 hasConceptScore W2950310012C159423971 @default.
- W2950310012 hasConceptScore W2950310012C162324750 @default.
- W2950310012 hasConceptScore W2950310012C167729594 @default.
- W2950310012 hasConceptScore W2950310012C182306322 @default.
- W2950310012 hasConceptScore W2950310012C183778304 @default.
- W2950310012 hasConceptScore W2950310012C202444582 @default.
- W2950310012 hasConceptScore W2950310012C2524010 @default.
- W2950310012 hasConceptScore W2950310012C25343380 @default.
- W2950310012 hasConceptScore W2950310012C2779343474 @default.
- W2950310012 hasConceptScore W2950310012C33923547 @default.
- W2950310012 hasConceptScore W2950310012C41008148 @default.
- W2950310012 hasConceptScore W2950310012C41608201 @default.
- W2950310012 hasConceptScore W2950310012C54732982 @default.
- W2950310012 hasConceptScore W2950310012C65180967 @default.
- W2950310012 hasConceptScore W2950310012C80444323 @default.
- W2950310012 hasConceptScore W2950310012C86803240 @default.
- W2950310012 hasLocation W29503100121 @default.
- W2950310012 hasOpenAccess W2950310012 @default.
- W2950310012 hasPrimaryLocation W29503100121 @default.
- W2950310012 hasRelatedWork W106258060 @default.
- W2950310012 hasRelatedWork W1579673254 @default.
- W2950310012 hasRelatedWork W1583993709 @default.
- W2950310012 hasRelatedWork W1992234386 @default.
- W2950310012 hasRelatedWork W2065381138 @default.
- W2950310012 hasRelatedWork W2081870297 @default.
- W2950310012 hasRelatedWork W2102736167 @default.
- W2950310012 hasRelatedWork W2128620109 @default.
- W2950310012 hasRelatedWork W2163982457 @default.
- W2950310012 hasRelatedWork W2482277870 @default.
- W2950310012 hasRelatedWork W2785234362 @default.
- W2950310012 hasRelatedWork W2886060930 @default.
- W2950310012 hasRelatedWork W2948341651 @default.
- W2950310012 hasRelatedWork W2951236383 @default.
- W2950310012 hasRelatedWork W2963040972 @default.
- W2950310012 hasRelatedWork W2963196275 @default.
- W2950310012 hasRelatedWork W3082956389 @default.
- W2950310012 hasRelatedWork W3145287507 @default.
- W2950310012 hasRelatedWork W3166111251 @default.
- W2950310012 hasRelatedWork W3167511828 @default.
- W2950310012 isParatext "false" @default.
- W2950310012 isRetracted "false" @default.
- W2950310012 magId "2950310012" @default.
- W2950310012 workType "article" @default.