Matches in SemOpenAlex for { <https://semopenalex.org/work/W4246231497> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W4246231497 endingPage "1" @default.
- W4246231497 startingPage "1" @default.
- W4246231497 abstract "There exist many powerful techniques to analyze termination and complexity of term rewrite systems (TRSs). Our goal is to use these techniques for the analysis of other programming languages as well. For instance, approaches to prove termination of definite logic programs by a transformation to TRSs have been studied for decades. However, a challenge is to handle languages with more complex evaluation strategies (such as Prolog, where predicates like the cut influence the control flow). We present a general methodology for the analysis of such programs. Here, the logic program is first transformed into a symbolic evaluation graph which represents all possible evaluations in a finite way. Afterwards, different analyses can be performed on these graphs. In particular, one can generate TRSs from such graphs and apply existing tools for termination or complexity analysis of TRSs to infer information on the termination or complexity of the original logic program. More information can be found in the full paper [1]." @default.
- W4246231497 created "2022-05-12" @default.
- W4246231497 creator A5025232172 @default.
- W4246231497 creator A5045363254 @default.
- W4246231497 creator A5050663198 @default.
- W4246231497 creator A5058200123 @default.
- W4246231497 creator A5072166791 @default.
- W4246231497 date "2013-01-01" @default.
- W4246231497 modified "2023-09-23" @default.
- W4246231497 title "Symbolic Evaluation Graphs and Term Rewriting — A General Methodology for Analyzing Logic Programs" @default.
- W4246231497 cites W2142593419 @default.
- W4246231497 doi "https://doi.org/10.1007/978-3-642-38197-3_1" @default.
- W4246231497 hasPublicationYear "2013" @default.
- W4246231497 type Work @default.
- W4246231497 citedByCount "2" @default.
- W4246231497 countsByYear W42462314972015 @default.
- W4246231497 countsByYear W42462314972021 @default.
- W4246231497 crossrefType "book-chapter" @default.
- W4246231497 hasAuthorship W4246231497A5025232172 @default.
- W4246231497 hasAuthorship W4246231497A5045363254 @default.
- W4246231497 hasAuthorship W4246231497A5050663198 @default.
- W4246231497 hasAuthorship W4246231497A5058200123 @default.
- W4246231497 hasAuthorship W4246231497A5072166791 @default.
- W4246231497 hasBestOaLocation W42462314972 @default.
- W4246231497 hasConcept C121332964 @default.
- W4246231497 hasConcept C128838566 @default.
- W4246231497 hasConcept C154690210 @default.
- W4246231497 hasConcept C160191386 @default.
- W4246231497 hasConcept C199360897 @default.
- W4246231497 hasConcept C27458966 @default.
- W4246231497 hasConcept C2778361913 @default.
- W4246231497 hasConcept C41008148 @default.
- W4246231497 hasConcept C61797465 @default.
- W4246231497 hasConcept C62520636 @default.
- W4246231497 hasConcept C80444323 @default.
- W4246231497 hasConcept C81721847 @default.
- W4246231497 hasConcept C98183937 @default.
- W4246231497 hasConceptScore W4246231497C121332964 @default.
- W4246231497 hasConceptScore W4246231497C128838566 @default.
- W4246231497 hasConceptScore W4246231497C154690210 @default.
- W4246231497 hasConceptScore W4246231497C160191386 @default.
- W4246231497 hasConceptScore W4246231497C199360897 @default.
- W4246231497 hasConceptScore W4246231497C27458966 @default.
- W4246231497 hasConceptScore W4246231497C2778361913 @default.
- W4246231497 hasConceptScore W4246231497C41008148 @default.
- W4246231497 hasConceptScore W4246231497C61797465 @default.
- W4246231497 hasConceptScore W4246231497C62520636 @default.
- W4246231497 hasConceptScore W4246231497C80444323 @default.
- W4246231497 hasConceptScore W4246231497C81721847 @default.
- W4246231497 hasConceptScore W4246231497C98183937 @default.
- W4246231497 hasLocation W42462314971 @default.
- W4246231497 hasLocation W42462314972 @default.
- W4246231497 hasLocation W42462314973 @default.
- W4246231497 hasLocation W42462314974 @default.
- W4246231497 hasOpenAccess W4246231497 @default.
- W4246231497 hasPrimaryLocation W42462314971 @default.
- W4246231497 hasRelatedWork W133833791 @default.
- W4246231497 hasRelatedWork W1608659702 @default.
- W4246231497 hasRelatedWork W1869198389 @default.
- W4246231497 hasRelatedWork W2084078829 @default.
- W4246231497 hasRelatedWork W2114658236 @default.
- W4246231497 hasRelatedWork W2150815772 @default.
- W4246231497 hasRelatedWork W2262956175 @default.
- W4246231497 hasRelatedWork W2395316334 @default.
- W4246231497 hasRelatedWork W3212528926 @default.
- W4246231497 hasRelatedWork W51860985 @default.
- W4246231497 isParatext "false" @default.
- W4246231497 isRetracted "false" @default.
- W4246231497 workType "book-chapter" @default.