FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3116110366> ?p ?o ?g. }

• W3116110366 endingPage "54" @default.
• W3116110366 startingPage "1" @default.
• W3116110366 abstract "We consider the problem of inferring a grammar describing the output of a functional program given a grammar describing its input. Solutions to this problem are helpful for detecting bugs or proving safety properties of functional programs, and several rewriting tools exist for solving this problem. However, known grammar inference techniques are not able to take evaluation strategies of the program into account. This yields very imprecise results when the evaluation strategy matters. In this work, we adapt the Tree Automata Completion algorithm to approximate accurately the set of terms reachable by rewriting under the innermost strategy. We formally prove that the proposed technique is sound and precise w.r.t. innermost rewriting. We show that those results can be extended to the leftmost and rightmost innermost case. The algorithms for the general innermost case have been implemented in the Timbuk reachability tool. Experiments show that it noticeably improves the accuracy of static analysis for functional programs using the call-by-value evaluation strategy." @default.
• W3116110366 created "2021-01-05" @default.
• W3116110366 creator A5015822800 @default.
• W3116110366 creator A5018745484 @default.
• W3116110366 creator A5083096567 @default.
• W3116110366 date "2017-11-28" @default.
• W3116110366 modified "2023-09-25" @default.
• W3116110366 title "Faithful (meta-)encodings of programmable strategies into term rewriting systems" @default.
• W3116110366 doi "https://doi.org/10.2168/lmcs-" @default.
• W3116110366 hasPublicationYear "2017" @default.
• W3116110366 type Work @default.
• W3116110366 sameAs 3116110366 @default.
• W3116110366 citedByCount "0" @default.
• W3116110366 crossrefType "journal-article" @default.
• W3116110366 hasAuthorship W3116110366A5015822800 @default.
• W3116110366 hasAuthorship W3116110366A5018745484 @default.
• W3116110366 hasAuthorship W3116110366A5083096567 @default.
• W3116110366 hasConcept C112505250 @default.
• W3116110366 hasConcept C113174947 @default.
• W3116110366 hasConcept C11413529 @default.
• W3116110366 hasConcept C121332964 @default.
• W3116110366 hasConcept C128099668 @default.
• W3116110366 hasConcept C134306372 @default.
• W3116110366 hasConcept C136643341 @default.
• W3116110366 hasConcept C138885662 @default.
• W3116110366 hasConcept C154690210 @default.
• W3116110366 hasConcept C154945302 @default.
• W3116110366 hasConcept C177264268 @default.
• W3116110366 hasConcept C198370458 @default.
• W3116110366 hasConcept C199360897 @default.
• W3116110366 hasConcept C26022165 @default.
• W3116110366 hasConcept C2776214188 @default.
• W3116110366 hasConcept C33923547 @default.
• W3116110366 hasConcept C41008148 @default.
• W3116110366 hasConcept C41895202 @default.
• W3116110366 hasConcept C42383842 @default.
• W3116110366 hasConcept C53893814 @default.
• W3116110366 hasConcept C56601403 @default.
• W3116110366 hasConcept C61797465 @default.
• W3116110366 hasConcept C62520636 @default.
• W3116110366 hasConcept C77906462 @default.
• W3116110366 hasConcept C80444323 @default.
• W3116110366 hasConcept C97686452 @default.
• W3116110366 hasConcept C98183937 @default.
• W3116110366 hasConceptScore W3116110366C112505250 @default.
• W3116110366 hasConceptScore W3116110366C113174947 @default.
• W3116110366 hasConceptScore W3116110366C11413529 @default.
• W3116110366 hasConceptScore W3116110366C121332964 @default.
• W3116110366 hasConceptScore W3116110366C128099668 @default.
• W3116110366 hasConceptScore W3116110366C134306372 @default.
• W3116110366 hasConceptScore W3116110366C136643341 @default.
• W3116110366 hasConceptScore W3116110366C138885662 @default.
• W3116110366 hasConceptScore W3116110366C154690210 @default.
• W3116110366 hasConceptScore W3116110366C154945302 @default.
• W3116110366 hasConceptScore W3116110366C177264268 @default.
• W3116110366 hasConceptScore W3116110366C198370458 @default.
• W3116110366 hasConceptScore W3116110366C199360897 @default.
• W3116110366 hasConceptScore W3116110366C26022165 @default.
• W3116110366 hasConceptScore W3116110366C2776214188 @default.
• W3116110366 hasConceptScore W3116110366C33923547 @default.
• W3116110366 hasConceptScore W3116110366C41008148 @default.
• W3116110366 hasConceptScore W3116110366C41895202 @default.
• W3116110366 hasConceptScore W3116110366C42383842 @default.
• W3116110366 hasConceptScore W3116110366C53893814 @default.
• W3116110366 hasConceptScore W3116110366C56601403 @default.
• W3116110366 hasConceptScore W3116110366C61797465 @default.
• W3116110366 hasConceptScore W3116110366C62520636 @default.
• W3116110366 hasConceptScore W3116110366C77906462 @default.
• W3116110366 hasConceptScore W3116110366C80444323 @default.
• W3116110366 hasConceptScore W3116110366C97686452 @default.
• W3116110366 hasConceptScore W3116110366C98183937 @default.
• W3116110366 hasIssue "4" @default.
• W3116110366 hasLocation W31161103661 @default.
• W3116110366 hasOpenAccess W3116110366 @default.
• W3116110366 hasPrimaryLocation W31161103661 @default.
• W3116110366 hasRelatedWork W142561622 @default.
• W3116110366 hasRelatedWork W1507006488 @default.
• W3116110366 hasRelatedWork W1507452355 @default.
• W3116110366 hasRelatedWork W1512310098 @default.
• W3116110366 hasRelatedWork W1529507713 @default.
• W3116110366 hasRelatedWork W1538086449 @default.
• W3116110366 hasRelatedWork W1597229564 @default.
• W3116110366 hasRelatedWork W1605476801 @default.
• W3116110366 hasRelatedWork W1796765441 @default.
• W3116110366 hasRelatedWork W1890875952 @default.
• W3116110366 hasRelatedWork W2516911575 @default.
• W3116110366 hasRelatedWork W26731332 @default.
• W3116110366 hasRelatedWork W2724461936 @default.
• W3116110366 hasRelatedWork W2730674090 @default.
• W3116110366 hasRelatedWork W2748702481 @default.
• W3116110366 hasRelatedWork W2793855799 @default.
• W3116110366 hasRelatedWork W2892050133 @default.
• W3116110366 hasRelatedWork W2999233193 @default.
• W3116110366 hasRelatedWork W3001554262 @default.
• W3116110366 hasRelatedWork W2131807392 @default.
• W3116110366 hasVolume "13" @default.
• W3116110366 isParatext "false" @default.
• W3116110366 isRetracted "false" @default.

• next