Matches in SemOpenAlex for { <https://semopenalex.org/work/W2001567495> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2001567495 endingPage "256" @default.
- W2001567495 startingPage "207" @default.
- W2001567495 abstract "The question of extending semantic models for a programming language without recursion to a larger language supporting recursion is of fundamental importance if one wants to develop a modular approach to building models. In our previous work [14] we showed how to extend models for a language without recursion to models for a language in which unnested recursion was supported via simultaneous systems of recursive equations. In that setting, we proved that modest assumptions about the models enabled us to lift adequacy and full abstraction for the models of the base language to analogous results for the models of the extended language. In this paper, we tackle similar problems for languages with explicit recursion operators. Starting with a base language L, we define what it means for an ordered denotational model for L to be order adequate and strongly order fully abstract with respect to an ordered operational model for L. By freely adding identifiers x ϵ X and recursion operators μx for each x ϵ X, we obtain an extended language L{X}, in which we single out the sublanguage Lc of closed terms. We then give general conditions which ensure that an ordered operational model O: L → O and a related order adequate and strongly order fully abstract denotational model D: L → D can be extended to an ordered operational model Oc: Lc → O and a related ordered denotational model Dc: Lc → D which also is order adequate and strongly order fully abstract." @default.
- W2001567495 created "2016-06-24" @default.
- W2001567495 creator A5037459136 @default.
- W2001567495 creator A5087271577 @default.
- W2001567495 date "1995-11-01" @default.
- W2001567495 modified "2023-09-24" @default.
- W2001567495 title "Full abstraction and recursion" @default.
- W2001567495 cites W1501745438 @default.
- W2001567495 cites W1546346147 @default.
- W2001567495 cites W1578958123 @default.
- W2001567495 cites W1594841668 @default.
- W2001567495 cites W1979109585 @default.
- W2001567495 cites W2014552079 @default.
- W2001567495 cites W2016660294 @default.
- W2001567495 cites W2022120401 @default.
- W2001567495 cites W2036605992 @default.
- W2001567495 cites W2081543102 @default.
- W2001567495 cites W2109805557 @default.
- W2001567495 cites W2121186882 @default.
- W2001567495 cites W2136920408 @default.
- W2001567495 cites W2138608576 @default.
- W2001567495 cites W2164591125 @default.
- W2001567495 cites W2340102009 @default.
- W2001567495 cites W2522551148 @default.
- W2001567495 doi "https://doi.org/10.1016/0304-3975(95)00052-x" @default.
- W2001567495 hasPublicationYear "1995" @default.
- W2001567495 type Work @default.
- W2001567495 sameAs 2001567495 @default.
- W2001567495 citedByCount "10" @default.
- W2001567495 crossrefType "journal-article" @default.
- W2001567495 hasAuthorship W2001567495A5037459136 @default.
- W2001567495 hasAuthorship W2001567495A5087271577 @default.
- W2001567495 hasConcept C111472728 @default.
- W2001567495 hasConcept C124304363 @default.
- W2001567495 hasConcept C124416688 @default.
- W2001567495 hasConcept C138885662 @default.
- W2001567495 hasConcept C139503435 @default.
- W2001567495 hasConcept C156325763 @default.
- W2001567495 hasConcept C168773036 @default.
- W2001567495 hasConcept C184337299 @default.
- W2001567495 hasConcept C199360897 @default.
- W2001567495 hasConcept C207648694 @default.
- W2001567495 hasConcept C2776411971 @default.
- W2001567495 hasConcept C33923547 @default.
- W2001567495 hasConcept C41008148 @default.
- W2001567495 hasConceptScore W2001567495C111472728 @default.
- W2001567495 hasConceptScore W2001567495C124304363 @default.
- W2001567495 hasConceptScore W2001567495C124416688 @default.
- W2001567495 hasConceptScore W2001567495C138885662 @default.
- W2001567495 hasConceptScore W2001567495C139503435 @default.
- W2001567495 hasConceptScore W2001567495C156325763 @default.
- W2001567495 hasConceptScore W2001567495C168773036 @default.
- W2001567495 hasConceptScore W2001567495C184337299 @default.
- W2001567495 hasConceptScore W2001567495C199360897 @default.
- W2001567495 hasConceptScore W2001567495C207648694 @default.
- W2001567495 hasConceptScore W2001567495C2776411971 @default.
- W2001567495 hasConceptScore W2001567495C33923547 @default.
- W2001567495 hasConceptScore W2001567495C41008148 @default.
- W2001567495 hasIssue "1" @default.
- W2001567495 hasLocation W20015674951 @default.
- W2001567495 hasOpenAccess W2001567495 @default.
- W2001567495 hasPrimaryLocation W20015674951 @default.
- W2001567495 hasRelatedWork W1500490537 @default.
- W2001567495 hasRelatedWork W1576648414 @default.
- W2001567495 hasRelatedWork W1855927527 @default.
- W2001567495 hasRelatedWork W2001567495 @default.
- W2001567495 hasRelatedWork W2147218830 @default.
- W2001567495 hasRelatedWork W2623394745 @default.
- W2001567495 hasRelatedWork W3004745453 @default.
- W2001567495 hasRelatedWork W3163637575 @default.
- W2001567495 hasRelatedWork W4287870994 @default.
- W2001567495 hasRelatedWork W1824455413 @default.
- W2001567495 hasVolume "151" @default.
- W2001567495 isParatext "false" @default.
- W2001567495 isRetracted "false" @default.
- W2001567495 magId "2001567495" @default.
- W2001567495 workType "article" @default.