FRINK Linked Data Fragments server

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

• W3123143760 endingPage "25" @default.
• W3123143760 startingPage "1" @default.
• W3123143760 abstract "In this functional pearl, we examine the use of definitional interpreters as a basis for abstract interpretation of higher-order programming languages. As it turns out, definitional interpreters, especially those written in monadic style, can provide a nice basis for a wide variety of collecting semantics, abstract interpretations, symbolic executions, and their intermixings. But the real insight of this story is a replaying of an insight from Reynold's landmark paper, Definitional Interpreters for Higher-Order Programming Languages, in which he observes definitional interpreters enable the defined-language to inherit properties of the defining-language. We show the same holds true for definitional abstract interpreters. Remarkably, we observe that abstract definitional interpreters can inherit the so-called pushdown control flow property, wherein function calls and returns are precisely matched in the abstract semantics, simply by virtue of the function call mechanism of the defining-language. The first approaches to achieve this property for higher-order languages appeared within the last ten years, and have since been the subject of many papers. These approaches start from a state-machine semantics and uniformly involve significant technical engineering to recover the precision of pushdown control flow. In contrast, starting from a definitional interpreter, the pushdown control flow property is inherent in the meta-language and requires no further technical mechanism to achieve." @default.
• W3123143760 created "2021-02-01" @default.
• W3123143760 creator A5019557654 @default.
• W3123143760 creator A5025007669 @default.
• W3123143760 creator A5079397317 @default.
• W3123143760 creator A5091183810 @default.
• W3123143760 date "2017-08-29" @default.
• W3123143760 modified "2023-10-16" @default.
• W3123143760 title "Abstracting definitional interpreters (functional pearl)" @default.
• W3123143760 cites W1489879801 @default.
• W3123143760 cites W1521434182 @default.
• W3123143760 cites W1522225310 @default.
• W3123143760 cites W1553894716 @default.
• W3123143760 cites W1970782371 @default.
• W3123143760 cites W1974939942 @default.
• W3123143760 cites W1979039632 @default.
• W3123143760 cites W1990810662 @default.
• W3123143760 cites W1995674161 @default.
• W3123143760 cites W1998915208 @default.
• W3123143760 cites W2013885073 @default.
• W3123143760 cites W2014359987 @default.
• W3123143760 cites W2043261859 @default.
• W3123143760 cites W2043416466 @default.
• W3123143760 cites W2046656770 @default.
• W3123143760 cites W2048802511 @default.
• W3123143760 cites W2063019130 @default.
• W3123143760 cites W2070598037 @default.
• W3123143760 cites W2073569229 @default.
• W3123143760 cites W2083878525 @default.
• W3123143760 cites W2099107163 @default.
• W3123143760 cites W2101512909 @default.
• W3123143760 cites W2105443946 @default.
• W3123143760 cites W2110507526 @default.
• W3123143760 cites W2113098044 @default.
• W3123143760 cites W2141576692 @default.
• W3123143760 cites W2153036969 @default.
• W3123143760 cites W2165876990 @default.
• W3123143760 cites W2681883877 @default.
• W3123143760 cites W2952100912 @default.
• W3123143760 cites W3098054590 @default.
• W3123143760 cites W3099703838 @default.
• W3123143760 cites W3140486346 @default.
• W3123143760 cites W4235903093 @default.
• W3123143760 cites W4236379125 @default.
• W3123143760 doi "https://doi.org/10.1145/3110256" @default.
• W3123143760 hasPublicationYear "2017" @default.
• W3123143760 type Work @default.
• W3123143760 sameAs 3123143760 @default.
• W3123143760 citedByCount "29" @default.
• W3123143760 countsByYear W31231437602017 @default.
• W3123143760 countsByYear W31231437602018 @default.
• W3123143760 countsByYear W31231437602019 @default.
• W3123143760 countsByYear W31231437602020 @default.
• W3123143760 countsByYear W31231437602021 @default.
• W3123143760 countsByYear W31231437602022 @default.
• W3123143760 countsByYear W31231437602023 @default.
• W3123143760 crossrefType "journal-article" @default.
• W3123143760 hasAuthorship W3123143760A5019557654 @default.
• W3123143760 hasAuthorship W3123143760A5025007669 @default.
• W3123143760 hasAuthorship W3123143760A5079397317 @default.
• W3123143760 hasAuthorship W3123143760A5091183810 @default.
• W3123143760 hasBestOaLocation W31231437601 @default.
• W3123143760 hasConcept C111472728 @default.
• W3123143760 hasConcept C122783720 @default.
• W3123143760 hasConcept C138885662 @default.
• W3123143760 hasConcept C184337299 @default.
• W3123143760 hasConcept C189950617 @default.
• W3123143760 hasConcept C199360897 @default.
• W3123143760 hasConcept C27206212 @default.
• W3123143760 hasConcept C2779251273 @default.
• W3123143760 hasConcept C41008148 @default.
• W3123143760 hasConcept C41895202 @default.
• W3123143760 hasConcept C42383842 @default.
• W3123143760 hasConceptScore W3123143760C111472728 @default.
• W3123143760 hasConceptScore W3123143760C122783720 @default.
• W3123143760 hasConceptScore W3123143760C138885662 @default.
• W3123143760 hasConceptScore W3123143760C184337299 @default.
• W3123143760 hasConceptScore W3123143760C189950617 @default.
• W3123143760 hasConceptScore W3123143760C199360897 @default.
• W3123143760 hasConceptScore W3123143760C27206212 @default.
• W3123143760 hasConceptScore W3123143760C2779251273 @default.
• W3123143760 hasConceptScore W3123143760C41008148 @default.
• W3123143760 hasConceptScore W3123143760C41895202 @default.
• W3123143760 hasConceptScore W3123143760C42383842 @default.
• W3123143760 hasFunder F4320306076 @default.
• W3123143760 hasIssue "ICFP" @default.
• W3123143760 hasLocation W31231437601 @default.
• W3123143760 hasLocation W31231437602 @default.
• W3123143760 hasLocation W31231437603 @default.
• W3123143760 hasOpenAccess W3123143760 @default.
• W3123143760 hasPrimaryLocation W31231437601 @default.
• W3123143760 hasRelatedWork W1490948297 @default.
• W3123143760 hasRelatedWork W1515791128 @default.
• W3123143760 hasRelatedWork W1568883111 @default.
• W3123143760 hasRelatedWork W1587224678 @default.
• W3123143760 hasRelatedWork W2018297885 @default.
• W3123143760 hasRelatedWork W2119251833 @default.
• W3123143760 hasRelatedWork W2998595860 @default.

• next