Matches in SemOpenAlex for { <https://semopenalex.org/work/W3100138022> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W3100138022 abstract "Scott's graph model is a lambda-algebra based on the observation that continuous endofunctions on the lattice of sets of natural numbers can be represented via their graphs. A graph is a relation mapping finite sets of input values to output values. We consider a similar model based on relations whose input values are finite sequences rather than sets. This alteration means that we are taking into account the order in which observations are made. This new notion of graph gives rise to a model of affine lambda-calculus that admits an interpretation of imperative constructs including variable assignment, dereferencing and allocation. Extending this untyped model, we construct a category that provides a model of typed higher-order imperative computation with an affine type system. An appropriate language of this kind is Reynolds's Syntactic Control of Interference. Our model turns out to be fully abstract for this language. At a concrete level, it is the same as Reddy's object spaces model, which was the first state-free model of a higher-order imperative programming language and an important precursor of games models. The graph model can therefore be seen as a universal domain for Reddy's model." @default.
- W3100138022 created "2020-11-23" @default.
- W3100138022 creator A5041412703 @default.
- W3100138022 date "2010-01-12" @default.
- W3100138022 modified "2023-10-18" @default.
- W3100138022 title "A Graph Model for Imperative Computation" @default.
- W3100138022 cites W182780044 @default.
- W3100138022 cites W1975887328 @default.
- W3100138022 cites W1977216954 @default.
- W3100138022 cites W1986057687 @default.
- W3100138022 cites W2014552079 @default.
- W3100138022 cites W2065261632 @default.
- W3100138022 cites W2072497723 @default.
- W3100138022 cites W2087185080 @default.
- W3100138022 cites W2141796169 @default.
- W3100138022 cites W2149758899 @default.
- W3100138022 cites W2165735954 @default.
- W3100138022 cites W2169907127 @default.
- W3100138022 cites W2526054476 @default.
- W3100138022 cites W4211265583 @default.
- W3100138022 cites W4251558097 @default.
- W3100138022 doi "https://doi.org/10.2168/lmcs-6(1:2)2010" @default.
- W3100138022 hasPublicationYear "2010" @default.
- W3100138022 type Work @default.
- W3100138022 sameAs 3100138022 @default.
- W3100138022 citedByCount "4" @default.
- W3100138022 crossrefType "journal-article" @default.
- W3100138022 hasAuthorship W3100138022A5041412703 @default.
- W3100138022 hasBestOaLocation W31001380221 @default.
- W3100138022 hasConcept C11413529 @default.
- W3100138022 hasConcept C118615104 @default.
- W3100138022 hasConcept C132525143 @default.
- W3100138022 hasConcept C135790938 @default.
- W3100138022 hasConcept C136119220 @default.
- W3100138022 hasConcept C202444582 @default.
- W3100138022 hasConcept C33923547 @default.
- W3100138022 hasConcept C41008148 @default.
- W3100138022 hasConcept C45374587 @default.
- W3100138022 hasConcept C558772884 @default.
- W3100138022 hasConcept C80444323 @default.
- W3100138022 hasConcept C92757383 @default.
- W3100138022 hasConceptScore W3100138022C11413529 @default.
- W3100138022 hasConceptScore W3100138022C118615104 @default.
- W3100138022 hasConceptScore W3100138022C132525143 @default.
- W3100138022 hasConceptScore W3100138022C135790938 @default.
- W3100138022 hasConceptScore W3100138022C136119220 @default.
- W3100138022 hasConceptScore W3100138022C202444582 @default.
- W3100138022 hasConceptScore W3100138022C33923547 @default.
- W3100138022 hasConceptScore W3100138022C41008148 @default.
- W3100138022 hasConceptScore W3100138022C45374587 @default.
- W3100138022 hasConceptScore W3100138022C558772884 @default.
- W3100138022 hasConceptScore W3100138022C80444323 @default.
- W3100138022 hasConceptScore W3100138022C92757383 @default.
- W3100138022 hasLocation W31001380221 @default.
- W3100138022 hasLocation W31001380222 @default.
- W3100138022 hasLocation W31001380223 @default.
- W3100138022 hasLocation W31001380224 @default.
- W3100138022 hasLocation W31001380225 @default.
- W3100138022 hasOpenAccess W3100138022 @default.
- W3100138022 hasPrimaryLocation W31001380221 @default.
- W3100138022 hasRelatedWork W1525880406 @default.
- W3100138022 hasRelatedWork W1534251038 @default.
- W3100138022 hasRelatedWork W1541292311 @default.
- W3100138022 hasRelatedWork W1568173680 @default.
- W3100138022 hasRelatedWork W1599733302 @default.
- W3100138022 hasRelatedWork W1788565084 @default.
- W3100138022 hasRelatedWork W2295302253 @default.
- W3100138022 hasRelatedWork W3005022890 @default.
- W3100138022 hasRelatedWork W4236163602 @default.
- W3100138022 hasRelatedWork W4375869919 @default.
- W3100138022 hasVolume "Volume 6, Issue 1" @default.
- W3100138022 isParatext "false" @default.
- W3100138022 isRetracted "false" @default.
- W3100138022 magId "3100138022" @default.
- W3100138022 workType "article" @default.