Matches in SemOpenAlex for { <https://semopenalex.org/work/W69246523> ?p ?o ?g. }
Showing items 1 to 46 of
46
with 100 items per page.
- W69246523 abstract "This paper is a comparative study in program synthesis. Two approaches — program synthesis by means of the Knuth-Bendix completion procedure (KBCP) and a classical transformation system based on the unfold/fold technique — are examined. A farreaching conformity is detected in the two systems while on the other hand disparities in the derivations reveal a greater rigidity of KBCP in the employment of the equations as well as a certain indifference towards the declarative contents of definitions." @default.
- W69246523 created "2016-06-24" @default.
- W69246523 creator A5011034054 @default.
- W69246523 creator A5025734145 @default.
- W69246523 date "1986-01-01" @default.
- W69246523 modified "2023-10-07" @default.
- W69246523 title "Knuth-Bendix Completion Versus Fold/Unfold: A Comparative Study in Program Synthesis" @default.
- W69246523 cites W1599274725 @default.
- W69246523 cites W2012436850 @default.
- W69246523 cites W2023299380 @default.
- W69246523 cites W2056168527 @default.
- W69246523 doi "https://doi.org/10.1007/978-3-642-71385-9_29" @default.
- W69246523 hasPublicationYear "1986" @default.
- W69246523 type Work @default.
- W69246523 sameAs 69246523 @default.
- W69246523 citedByCount "5" @default.
- W69246523 crossrefType "book-chapter" @default.
- W69246523 hasAuthorship W69246523A5011034054 @default.
- W69246523 hasAuthorship W69246523A5025734145 @default.
- W69246523 hasConcept C136119220 @default.
- W69246523 hasConcept C199343813 @default.
- W69246523 hasConcept C199360897 @default.
- W69246523 hasConcept C202444582 @default.
- W69246523 hasConcept C2777686260 @default.
- W69246523 hasConcept C33923547 @default.
- W69246523 hasConcept C41008148 @default.
- W69246523 hasConcept C53942344 @default.
- W69246523 hasConcept C71924100 @default.
- W69246523 hasConceptScore W69246523C136119220 @default.
- W69246523 hasConceptScore W69246523C199343813 @default.
- W69246523 hasConceptScore W69246523C199360897 @default.
- W69246523 hasConceptScore W69246523C202444582 @default.
- W69246523 hasConceptScore W69246523C2777686260 @default.
- W69246523 hasConceptScore W69246523C33923547 @default.
- W69246523 hasConceptScore W69246523C41008148 @default.
- W69246523 hasConceptScore W69246523C53942344 @default.
- W69246523 hasConceptScore W69246523C71924100 @default.
- W69246523 hasLocation W692465231 @default.
- W69246523 hasOpenAccess W69246523 @default.
- W69246523 hasPrimaryLocation W692465231 @default.
- W69246523 hasRelatedWork W2023299380 @default.
- W69246523 hasRelatedWork W33651973 @default.
- W69246523 isParatext "false" @default.
- W69246523 isRetracted "false" @default.
- W69246523 magId "69246523" @default.
- W69246523 workType "book-chapter" @default.