Matches in SemOpenAlex for { <https://semopenalex.org/work/W1980968022> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W1980968022 abstract "OBJ algebraic specification languages support automated equational reasoning based on term rewriting for interactive verification. The equational reasoning is sound but not always complete in general. In our previous work, we have given a condition for sound and complete equational reasoning for OBJ specifications and have proposed the notion of local equality predicates (LEP), which is not only used for verification but also used for description of specifications. In this study, we propose a method to prove termination and confluence of specifications with LEPs. Termination and confluence are important properties of term rewriting and are parts of the LEP condition. By using the proposed method, we can use nested LEPs for large and complex modules." @default.
- W1980968022 created "2016-06-24" @default.
- W1980968022 creator A5035411012 @default.
- W1980968022 creator A5040225123 @default.
- W1980968022 date "2014-05-01" @default.
- W1980968022 modified "2023-09-27" @default.
- W1980968022 title "An incremental approach to local equality predicates in OBJ specification languages" @default.
- W1980968022 cites W1608072156 @default.
- W1980968022 cites W1976451429 @default.
- W1980968022 cites W1980527029 @default.
- W1980968022 cites W2003359637 @default.
- W1980968022 cites W203247935 @default.
- W1980968022 cites W2044923579 @default.
- W1980968022 cites W2054013753 @default.
- W1980968022 cites W2132503848 @default.
- W1980968022 cites W6807041 @default.
- W1980968022 doi "https://doi.org/10.1109/jcsse.2014.6841891" @default.
- W1980968022 hasPublicationYear "2014" @default.
- W1980968022 type Work @default.
- W1980968022 sameAs 1980968022 @default.
- W1980968022 citedByCount "0" @default.
- W1980968022 crossrefType "proceedings-article" @default.
- W1980968022 hasAuthorship W1980968022A5035411012 @default.
- W1980968022 hasAuthorship W1980968022A5040225123 @default.
- W1980968022 hasConcept C116253237 @default.
- W1980968022 hasConcept C121332964 @default.
- W1980968022 hasConcept C134306372 @default.
- W1980968022 hasConcept C154564781 @default.
- W1980968022 hasConcept C154690210 @default.
- W1980968022 hasConcept C199360897 @default.
- W1980968022 hasConcept C2777691520 @default.
- W1980968022 hasConcept C33923547 @default.
- W1980968022 hasConcept C41008148 @default.
- W1980968022 hasConcept C61797465 @default.
- W1980968022 hasConcept C62520636 @default.
- W1980968022 hasConcept C77906462 @default.
- W1980968022 hasConcept C80444323 @default.
- W1980968022 hasConcept C9376300 @default.
- W1980968022 hasConceptScore W1980968022C116253237 @default.
- W1980968022 hasConceptScore W1980968022C121332964 @default.
- W1980968022 hasConceptScore W1980968022C134306372 @default.
- W1980968022 hasConceptScore W1980968022C154564781 @default.
- W1980968022 hasConceptScore W1980968022C154690210 @default.
- W1980968022 hasConceptScore W1980968022C199360897 @default.
- W1980968022 hasConceptScore W1980968022C2777691520 @default.
- W1980968022 hasConceptScore W1980968022C33923547 @default.
- W1980968022 hasConceptScore W1980968022C41008148 @default.
- W1980968022 hasConceptScore W1980968022C61797465 @default.
- W1980968022 hasConceptScore W1980968022C62520636 @default.
- W1980968022 hasConceptScore W1980968022C77906462 @default.
- W1980968022 hasConceptScore W1980968022C80444323 @default.
- W1980968022 hasConceptScore W1980968022C9376300 @default.
- W1980968022 hasLocation W19809680221 @default.
- W1980968022 hasOpenAccess W1980968022 @default.
- W1980968022 hasPrimaryLocation W19809680221 @default.
- W1980968022 hasRelatedWork W1480884270 @default.
- W1980968022 hasRelatedWork W1520451507 @default.
- W1980968022 hasRelatedWork W1524771684 @default.
- W1980968022 hasRelatedWork W1998691016 @default.
- W1980968022 hasRelatedWork W2157716537 @default.
- W1980968022 hasRelatedWork W2158246161 @default.
- W1980968022 hasRelatedWork W2177876909 @default.
- W1980968022 hasRelatedWork W2257434262 @default.
- W1980968022 hasRelatedWork W627345477 @default.
- W1980968022 hasRelatedWork W265325468 @default.
- W1980968022 isParatext "false" @default.
- W1980968022 isRetracted "false" @default.
- W1980968022 magId "1980968022" @default.
- W1980968022 workType "article" @default.