Matches in SemOpenAlex for { <https://semopenalex.org/work/W3140179319> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W3140179319 endingPage "327" @default.
- W3140179319 startingPage "318" @default.
- W3140179319 abstract "We present a simple method for the general flow analysis of high-order functional programs. The method computes an abstraction of the program's runtime environment via a system of monotonic equations. As the environment can grow unbounded, we exploit patterns in the program's control structure (i.e., the call-tree) to determine some static partition of the environment, and merge points in the environment belonging to the same equivalent-class. High order functions are handled by embedding control information into closures. The method is proven correct with respect to a rewriting system based operational semantics. Various implementation issues are also considered." @default.
- W3140179319 created "2021-04-13" @default.
- W3140179319 creator A5012463345 @default.
- W3140179319 creator A5062176103 @default.
- W3140179319 date "1994-07-01" @default.
- W3140179319 modified "2023-09-26" @default.
- W3140179319 title "An equational framework for the flow analysis of higher order functional programs" @default.
- W3140179319 cites W1984342415 @default.
- W3140179319 cites W2004419599 @default.
- W3140179319 cites W2005958145 @default.
- W3140179319 cites W2014764321 @default.
- W3140179319 cites W2017720469 @default.
- W3140179319 cites W2020530016 @default.
- W3140179319 cites W2021986357 @default.
- W3140179319 cites W2025033165 @default.
- W3140179319 cites W2028175476 @default.
- W3140179319 cites W2043100293 @default.
- W3140179319 cites W2148958851 @default.
- W3140179319 cites W4250199140 @default.
- W3140179319 cites W4256591269 @default.
- W3140179319 doi "https://doi.org/10.1145/182590.182497" @default.
- W3140179319 hasPublicationYear "1994" @default.
- W3140179319 type Work @default.
- W3140179319 sameAs 3140179319 @default.
- W3140179319 citedByCount "0" @default.
- W3140179319 crossrefType "journal-article" @default.
- W3140179319 hasAuthorship W3140179319A5012463345 @default.
- W3140179319 hasAuthorship W3140179319A5062176103 @default.
- W3140179319 hasConcept C114614502 @default.
- W3140179319 hasConcept C120558287 @default.
- W3140179319 hasConcept C154690210 @default.
- W3140179319 hasConcept C154945302 @default.
- W3140179319 hasConcept C156325763 @default.
- W3140179319 hasConcept C160191386 @default.
- W3140179319 hasConcept C165696696 @default.
- W3140179319 hasConcept C173608175 @default.
- W3140179319 hasConcept C176359209 @default.
- W3140179319 hasConcept C184337299 @default.
- W3140179319 hasConcept C197129107 @default.
- W3140179319 hasConcept C199360897 @default.
- W3140179319 hasConcept C33923547 @default.
- W3140179319 hasConcept C34165917 @default.
- W3140179319 hasConcept C38652104 @default.
- W3140179319 hasConcept C41008148 @default.
- W3140179319 hasConcept C41608201 @default.
- W3140179319 hasConcept C42383842 @default.
- W3140179319 hasConcept C42812 @default.
- W3140179319 hasConcept C50033165 @default.
- W3140179319 hasConcept C80444323 @default.
- W3140179319 hasConcept C97686452 @default.
- W3140179319 hasConceptScore W3140179319C114614502 @default.
- W3140179319 hasConceptScore W3140179319C120558287 @default.
- W3140179319 hasConceptScore W3140179319C154690210 @default.
- W3140179319 hasConceptScore W3140179319C154945302 @default.
- W3140179319 hasConceptScore W3140179319C156325763 @default.
- W3140179319 hasConceptScore W3140179319C160191386 @default.
- W3140179319 hasConceptScore W3140179319C165696696 @default.
- W3140179319 hasConceptScore W3140179319C173608175 @default.
- W3140179319 hasConceptScore W3140179319C176359209 @default.
- W3140179319 hasConceptScore W3140179319C184337299 @default.
- W3140179319 hasConceptScore W3140179319C197129107 @default.
- W3140179319 hasConceptScore W3140179319C199360897 @default.
- W3140179319 hasConceptScore W3140179319C33923547 @default.
- W3140179319 hasConceptScore W3140179319C34165917 @default.
- W3140179319 hasConceptScore W3140179319C38652104 @default.
- W3140179319 hasConceptScore W3140179319C41008148 @default.
- W3140179319 hasConceptScore W3140179319C41608201 @default.
- W3140179319 hasConceptScore W3140179319C42383842 @default.
- W3140179319 hasConceptScore W3140179319C42812 @default.
- W3140179319 hasConceptScore W3140179319C50033165 @default.
- W3140179319 hasConceptScore W3140179319C80444323 @default.
- W3140179319 hasConceptScore W3140179319C97686452 @default.
- W3140179319 hasIssue "3" @default.
- W3140179319 hasLocation W31401793191 @default.
- W3140179319 hasOpenAccess W3140179319 @default.
- W3140179319 hasPrimaryLocation W31401793191 @default.
- W3140179319 hasRelatedWork W1484092744 @default.
- W3140179319 hasRelatedWork W1502311553 @default.
- W3140179319 hasRelatedWork W1981466053 @default.
- W3140179319 hasRelatedWork W2106305471 @default.
- W3140179319 hasRelatedWork W2125643165 @default.
- W3140179319 hasRelatedWork W2153540278 @default.
- W3140179319 hasRelatedWork W3140179319 @default.
- W3140179319 hasRelatedWork W2585545025 @default.
- W3140179319 hasRelatedWork W2787105657 @default.
- W3140179319 hasRelatedWork W2788308474 @default.
- W3140179319 hasVolume "VII" @default.
- W3140179319 isParatext "false" @default.
- W3140179319 isRetracted "false" @default.
- W3140179319 magId "3140179319" @default.
- W3140179319 workType "article" @default.