Matches in SemOpenAlex for { <https://semopenalex.org/work/W1183479258> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W1183479258 endingPage "663" @default.
- W1183479258 startingPage "652" @default.
- W1183479258 abstract "To check a system, some verification techniques consider a set of terms $$I$$ that represents the initial configurations of the system, and a rewrite system $$R$$ that represents the system behavior. To check that no undesirable configuration is reached, they compute an over-approximation of the set of descendants (successors) issued from $$I$$ by $$R$$ , expressed by a tree language. Their success highly depends on the quality of the approximation. Some techniques have been presented using regular tree languages, and more recently using non-regular languages to get better approximations: using context-free tree languages [16] on the one hand, using synchronized tree languages [2] on the other hand. In this paper, we merge these two approaches to get even better approximations: we compute an over-approximation of the descendants, using synchronized-context-free tree languages expressed by logic programs. We give several examples for which our procedure computes the descendants in an exact way, whereas the former techniques compute a strict over-approximation." @default.
- W1183479258 created "2016-06-24" @default.
- W1183479258 creator A5005840879 @default.
- W1183479258 creator A5049597004 @default.
- W1183479258 creator A5053423731 @default.
- W1183479258 date "2015-01-01" @default.
- W1183479258 modified "2023-09-24" @default.
- W1183479258 title "Towards More Precise Rewriting Approximations" @default.
- W1183479258 cites W1183479258 @default.
- W1183479258 cites W1509869740 @default.
- W1183479258 cites W1531715723 @default.
- W1183479258 cites W1558266356 @default.
- W1183479258 cites W1564415760 @default.
- W1183479258 cites W1586583492 @default.
- W1183479258 cites W1858687778 @default.
- W1183479258 cites W1975745970 @default.
- W1183479258 cites W1985272693 @default.
- W1183479258 cites W2041988689 @default.
- W1183479258 cites W2078866770 @default.
- W1183479258 cites W2079113556 @default.
- W1183479258 cites W2125616765 @default.
- W1183479258 cites W4212777788 @default.
- W1183479258 cites W1550325718 @default.
- W1183479258 cites W2070896619 @default.
- W1183479258 doi "https://doi.org/10.1007/978-3-319-15579-1_51" @default.
- W1183479258 hasPublicationYear "2015" @default.
- W1183479258 type Work @default.
- W1183479258 sameAs 1183479258 @default.
- W1183479258 citedByCount "4" @default.
- W1183479258 countsByYear W11834792582015 @default.
- W1183479258 countsByYear W11834792582017 @default.
- W1183479258 countsByYear W11834792582018 @default.
- W1183479258 crossrefType "book-chapter" @default.
- W1183479258 hasAuthorship W1183479258A5005840879 @default.
- W1183479258 hasAuthorship W1183479258A5049597004 @default.
- W1183479258 hasAuthorship W1183479258A5053423731 @default.
- W1183479258 hasBestOaLocation W11834792583 @default.
- W1183479258 hasConcept C113174947 @default.
- W1183479258 hasConcept C11413529 @default.
- W1183479258 hasConcept C114614502 @default.
- W1183479258 hasConcept C118615104 @default.
- W1183479258 hasConcept C148764684 @default.
- W1183479258 hasConcept C151730666 @default.
- W1183479258 hasConcept C154690210 @default.
- W1183479258 hasConcept C173608175 @default.
- W1183479258 hasConcept C177264268 @default.
- W1183479258 hasConcept C197129107 @default.
- W1183479258 hasConcept C199360897 @default.
- W1183479258 hasConcept C2779343474 @default.
- W1183479258 hasConcept C33923547 @default.
- W1183479258 hasConcept C41008148 @default.
- W1183479258 hasConcept C80444323 @default.
- W1183479258 hasConcept C86803240 @default.
- W1183479258 hasConceptScore W1183479258C113174947 @default.
- W1183479258 hasConceptScore W1183479258C11413529 @default.
- W1183479258 hasConceptScore W1183479258C114614502 @default.
- W1183479258 hasConceptScore W1183479258C118615104 @default.
- W1183479258 hasConceptScore W1183479258C148764684 @default.
- W1183479258 hasConceptScore W1183479258C151730666 @default.
- W1183479258 hasConceptScore W1183479258C154690210 @default.
- W1183479258 hasConceptScore W1183479258C173608175 @default.
- W1183479258 hasConceptScore W1183479258C177264268 @default.
- W1183479258 hasConceptScore W1183479258C197129107 @default.
- W1183479258 hasConceptScore W1183479258C199360897 @default.
- W1183479258 hasConceptScore W1183479258C2779343474 @default.
- W1183479258 hasConceptScore W1183479258C33923547 @default.
- W1183479258 hasConceptScore W1183479258C41008148 @default.
- W1183479258 hasConceptScore W1183479258C80444323 @default.
- W1183479258 hasConceptScore W1183479258C86803240 @default.
- W1183479258 hasLocation W11834792581 @default.
- W1183479258 hasLocation W11834792582 @default.
- W1183479258 hasLocation W11834792583 @default.
- W1183479258 hasLocation W11834792584 @default.
- W1183479258 hasLocation W11834792585 @default.
- W1183479258 hasLocation W11834792586 @default.
- W1183479258 hasOpenAccess W1183479258 @default.
- W1183479258 hasPrimaryLocation W11834792581 @default.
- W1183479258 hasRelatedWork W2112962394 @default.
- W1183479258 hasRelatedWork W2118300983 @default.
- W1183479258 hasRelatedWork W2158198137 @default.
- W1183479258 hasRelatedWork W2369673098 @default.
- W1183479258 hasRelatedWork W2382501300 @default.
- W1183479258 hasRelatedWork W2386315983 @default.
- W1183479258 hasRelatedWork W3137189469 @default.
- W1183479258 hasRelatedWork W4235530921 @default.
- W1183479258 hasRelatedWork W4243252198 @default.
- W1183479258 hasRelatedWork W2764317176 @default.
- W1183479258 isParatext "false" @default.
- W1183479258 isRetracted "false" @default.
- W1183479258 magId "1183479258" @default.
- W1183479258 workType "book-chapter" @default.