Matches in SemOpenAlex for { <https://semopenalex.org/work/W2017152877> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W2017152877 abstract "In semantics-directed compiler generation one is faced with the problem of how to translate a source semantic definition of a programming language into on equivalent target semantics closer to an implementation. Most of the existing works solve this problem in a non constructive way : a target semantics is exhibited first and then only proved correct against the source. We try to show that target semantics can be derived from source semantics in a constructive way and so that some correctness ideas are automatically preserved. The framework is denotational semantics." @default.
- W2017152877 created "2016-06-24" @default.
- W2017152877 creator A5053126873 @default.
- W2017152877 date "1986-07-01" @default.
- W2017152877 modified "2023-10-18" @default.
- W2017152877 title "Transformations of denotational semantics in semantics directed compiler generation" @default.
- W2017152877 cites W1987031623 @default.
- W2017152877 cites W2003848320 @default.
- W2017152877 cites W2011001069 @default.
- W2017152877 cites W2061786858 @default.
- W2017152877 cites W4211265583 @default.
- W2017152877 doi "https://doi.org/10.1145/12276.13318" @default.
- W2017152877 hasPublicationYear "1986" @default.
- W2017152877 type Work @default.
- W2017152877 sameAs 2017152877 @default.
- W2017152877 citedByCount "5" @default.
- W2017152877 crossrefType "proceedings-article" @default.
- W2017152877 hasAuthorship W2017152877A5053126873 @default.
- W2017152877 hasConcept C150607116 @default.
- W2017152877 hasConcept C156325763 @default.
- W2017152877 hasConcept C169590947 @default.
- W2017152877 hasConcept C184337299 @default.
- W2017152877 hasConcept C199360897 @default.
- W2017152877 hasConcept C200065993 @default.
- W2017152877 hasConcept C207648694 @default.
- W2017152877 hasConcept C2778701210 @default.
- W2017152877 hasConcept C41008148 @default.
- W2017152877 hasConcept C55439883 @default.
- W2017152877 hasConcept C87365073 @default.
- W2017152877 hasConcept C89448276 @default.
- W2017152877 hasConcept C89497691 @default.
- W2017152877 hasConcept C98045186 @default.
- W2017152877 hasConceptScore W2017152877C150607116 @default.
- W2017152877 hasConceptScore W2017152877C156325763 @default.
- W2017152877 hasConceptScore W2017152877C169590947 @default.
- W2017152877 hasConceptScore W2017152877C184337299 @default.
- W2017152877 hasConceptScore W2017152877C199360897 @default.
- W2017152877 hasConceptScore W2017152877C200065993 @default.
- W2017152877 hasConceptScore W2017152877C207648694 @default.
- W2017152877 hasConceptScore W2017152877C2778701210 @default.
- W2017152877 hasConceptScore W2017152877C41008148 @default.
- W2017152877 hasConceptScore W2017152877C55439883 @default.
- W2017152877 hasConceptScore W2017152877C87365073 @default.
- W2017152877 hasConceptScore W2017152877C89448276 @default.
- W2017152877 hasConceptScore W2017152877C89497691 @default.
- W2017152877 hasConceptScore W2017152877C98045186 @default.
- W2017152877 hasLocation W20171528771 @default.
- W2017152877 hasOpenAccess W2017152877 @default.
- W2017152877 hasPrimaryLocation W20171528771 @default.
- W2017152877 hasRelatedWork W1493950382 @default.
- W2017152877 hasRelatedWork W1578958123 @default.
- W2017152877 hasRelatedWork W1970532182 @default.
- W2017152877 hasRelatedWork W2035082615 @default.
- W2017152877 hasRelatedWork W2348616540 @default.
- W2017152877 hasRelatedWork W2363690241 @default.
- W2017152877 hasRelatedWork W3163637575 @default.
- W2017152877 hasRelatedWork W3197740044 @default.
- W2017152877 hasRelatedWork W783270985 @default.
- W2017152877 hasRelatedWork W3023595429 @default.
- W2017152877 isParatext "false" @default.
- W2017152877 isRetracted "false" @default.
- W2017152877 magId "2017152877" @default.
- W2017152877 workType "article" @default.