FRINK Linked Data Fragments server

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

• W1808214913 endingPage "274" @default.
• W1808214913 startingPage "227" @default.
• W1808214913 abstract "Languages such as ML or Lisp permit the use of recursively defined function expressions with locally declared storage locations. Although this can be very convenient from a programming point of view it severely complicates the properties of program equivalence even for relatively simple fragments of such languages—such as the simply typed fragment of Standard ML with integer-valued references considered here. This paper presents a method for reasoning about contextual equivalence of programs involving this combination of functional and procedural features. The method is based upon the use of a certain kind of logical relation parameterised by relations between program states. The form of this logical relation is novel, in as much as it involves relations not only between program expressions, but also between program continuations (also known as evaluation contexts). The authors found this approach necessary in order to establish the ‘Fundamental Property of logical relations’ in the presence of both dynamically allocated local state and recursion. The logical relation characterises contextual equivalence and yields a proof of the best known context lemma for this kind of language— the Mason-Talcott ‘ciu’ theorem. Moreover, it is shown that the method can prove examples where such a context lemma is not much help and which involve representation independence, higher order memoising functions, and profiling functions." @default.
• W1808214913 created "2016-06-24" @default.
• W1808214913 creator A5012316819 @default.
• W1808214913 creator A5035484728 @default.
• W1808214913 date "1999-06-01" @default.
• W1808214913 modified "2023-10-01" @default.
• W1808214913 title "Operational reasoning for functions with local state" @default.
• W1808214913 cites W1484366641 @default.
• W1808214913 cites W1531693393 @default.
• W1808214913 cites W1551132038 @default.
• W1808214913 cites W1551447924 @default.
• W1808214913 cites W1553494572 @default.
• W1808214913 cites W1583103249 @default.
• W1808214913 cites W1595465781 @default.
• W1808214913 cites W1815958522 @default.
• W1808214913 cites W1829244603 @default.
• W1808214913 cites W1973030866 @default.
• W1808214913 cites W1996149734 @default.
• W1808214913 cites W2026928233 @default.
• W1808214913 cites W2044507549 @default.
• W1808214913 cites W2060852846 @default.
• W1808214913 cites W2062233055 @default.
• W1808214913 cites W2089241138 @default.
• W1808214913 cites W2092774615 @default.
• W1808214913 cites W2097230120 @default.
• W1808214913 cites W2101247081 @default.
• W1808214913 cites W2120979359 @default.
• W1808214913 cites W2122971020 @default.
• W1808214913 cites W2125057771 @default.
• W1808214913 cites W2130404229 @default.
• W1808214913 cites W2166051945 @default.
• W1808214913 cites W2912819106 @default.
• W1808214913 cites W326743114 @default.
• W1808214913 cites W4861723 @default.
• W1808214913 hasPublicationYear "1999" @default.
• W1808214913 type Work @default.
• W1808214913 sameAs 1808214913 @default.
• W1808214913 citedByCount "50" @default.
• W1808214913 countsByYear W18082149132012 @default.
• W1808214913 countsByYear W18082149132013 @default.
• W1808214913 countsByYear W18082149132014 @default.
• W1808214913 countsByYear W18082149132015 @default.
• W1808214913 countsByYear W18082149132016 @default.
• W1808214913 countsByYear W18082149132017 @default.
• W1808214913 countsByYear W18082149132019 @default.
• W1808214913 countsByYear W18082149132021 @default.
• W1808214913 crossrefType "book" @default.
• W1808214913 hasAuthorship W1808214913A5012316819 @default.
• W1808214913 hasAuthorship W1808214913A5035484728 @default.
• W1808214913 hasConcept C11413529 @default.
• W1808214913 hasConcept C118615104 @default.
• W1808214913 hasConcept C136119220 @default.
• W1808214913 hasConcept C156103551 @default.
• W1808214913 hasConcept C168773036 @default.
• W1808214913 hasConcept C18903297 @default.
• W1808214913 hasConcept C190883126 @default.
• W1808214913 hasConcept C199360897 @default.
• W1808214913 hasConcept C202444582 @default.
• W1808214913 hasConcept C20693621 @default.
• W1808214913 hasConcept C25343380 @default.
• W1808214913 hasConcept C2777759810 @default.
• W1808214913 hasConcept C2780069185 @default.
• W1808214913 hasConcept C33923547 @default.
• W1808214913 hasConcept C41008148 @default.
• W1808214913 hasConcept C46757340 @default.
• W1808214913 hasConcept C70846408 @default.
• W1808214913 hasConcept C77088390 @default.
• W1808214913 hasConcept C80444323 @default.
• W1808214913 hasConcept C86803240 @default.
• W1808214913 hasConceptScore W1808214913C11413529 @default.
• W1808214913 hasConceptScore W1808214913C118615104 @default.
• W1808214913 hasConceptScore W1808214913C136119220 @default.
• W1808214913 hasConceptScore W1808214913C156103551 @default.
• W1808214913 hasConceptScore W1808214913C168773036 @default.
• W1808214913 hasConceptScore W1808214913C18903297 @default.
• W1808214913 hasConceptScore W1808214913C190883126 @default.
• W1808214913 hasConceptScore W1808214913C199360897 @default.
• W1808214913 hasConceptScore W1808214913C202444582 @default.
• W1808214913 hasConceptScore W1808214913C20693621 @default.
• W1808214913 hasConceptScore W1808214913C25343380 @default.
• W1808214913 hasConceptScore W1808214913C2777759810 @default.
• W1808214913 hasConceptScore W1808214913C2780069185 @default.
• W1808214913 hasConceptScore W1808214913C33923547 @default.
• W1808214913 hasConceptScore W1808214913C41008148 @default.
• W1808214913 hasConceptScore W1808214913C46757340 @default.
• W1808214913 hasConceptScore W1808214913C70846408 @default.
• W1808214913 hasConceptScore W1808214913C77088390 @default.
• W1808214913 hasConceptScore W1808214913C80444323 @default.
• W1808214913 hasConceptScore W1808214913C86803240 @default.
• W1808214913 hasLocation W18082149131 @default.
• W1808214913 hasOpenAccess W1808214913 @default.
• W1808214913 hasPrimaryLocation W18082149131 @default.
• W1808214913 hasRelatedWork W1495825275 @default.
• W1808214913 hasRelatedWork W1539402181 @default.
• W1808214913 hasRelatedWork W172004165 @default.
• W1808214913 hasRelatedWork W1815958522 @default.
• W1808214913 hasRelatedWork W1877442346 @default.
• W1808214913 hasRelatedWork W1973030866 @default.

• next