Matches in SemOpenAlex for { <https://semopenalex.org/work/W2898868394> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2898868394 abstract "A definitional interpreter defines the semantics of an object language in terms of the (well-known) semantics of a host language, enabling understanding and validation of the semantics through execution. Combining a definitional interpreter with a separate type system requires a separate type safety proof. An alternative approach, at least for pure object languages, is to use a dependently-typed language to encode the object language type system in the definition of the abstract syntax. Using such intrinsically-typed abstract syntax definitions allows the host language type checker to verify automatically that the interpreter satisfies type safety. Does this approach scale to larger and more realistic object languages, and in particular to languages with mutable state and objects?" @default.
- W2898868394 created "2018-11-09" @default.
- W2898868394 creator A5020051426 @default.
- W2898868394 creator A5029418370 @default.
- W2898868394 creator A5046980155 @default.
- W2898868394 creator A5072923235 @default.
- W2898868394 creator A5087571354 @default.
- W2898868394 date "2018-01-07" @default.
- W2898868394 modified "2023-10-01" @default.
- W2898868394 title "Intrinsically-Typed Definitional Interpreters for Imperative Languages" @default.
- W2898868394 hasPublicationYear "2018" @default.
- W2898868394 type Work @default.
- W2898868394 sameAs 2898868394 @default.
- W2898868394 citedByCount "2" @default.
- W2898868394 countsByYear W28988683942019 @default.
- W2898868394 countsByYear W28988683942020 @default.
- W2898868394 crossrefType "proceedings-article" @default.
- W2898868394 hasAuthorship W2898868394A5020051426 @default.
- W2898868394 hasAuthorship W2898868394A5029418370 @default.
- W2898868394 hasAuthorship W2898868394A5046980155 @default.
- W2898868394 hasAuthorship W2898868394A5072923235 @default.
- W2898868394 hasAuthorship W2898868394A5087571354 @default.
- W2898868394 hasConcept C114408938 @default.
- W2898868394 hasConcept C122783720 @default.
- W2898868394 hasConcept C154945302 @default.
- W2898868394 hasConcept C156325763 @default.
- W2898868394 hasConcept C184337299 @default.
- W2898868394 hasConcept C185954173 @default.
- W2898868394 hasConcept C195324797 @default.
- W2898868394 hasConcept C199360897 @default.
- W2898868394 hasConcept C204321447 @default.
- W2898868394 hasConcept C2781238097 @default.
- W2898868394 hasConcept C41008148 @default.
- W2898868394 hasConcept C44779574 @default.
- W2898868394 hasConcept C60048249 @default.
- W2898868394 hasConceptScore W2898868394C114408938 @default.
- W2898868394 hasConceptScore W2898868394C122783720 @default.
- W2898868394 hasConceptScore W2898868394C154945302 @default.
- W2898868394 hasConceptScore W2898868394C156325763 @default.
- W2898868394 hasConceptScore W2898868394C184337299 @default.
- W2898868394 hasConceptScore W2898868394C185954173 @default.
- W2898868394 hasConceptScore W2898868394C195324797 @default.
- W2898868394 hasConceptScore W2898868394C199360897 @default.
- W2898868394 hasConceptScore W2898868394C204321447 @default.
- W2898868394 hasConceptScore W2898868394C2781238097 @default.
- W2898868394 hasConceptScore W2898868394C41008148 @default.
- W2898868394 hasConceptScore W2898868394C44779574 @default.
- W2898868394 hasConceptScore W2898868394C60048249 @default.
- W2898868394 hasLocation W28988683941 @default.
- W2898868394 hasOpenAccess W2898868394 @default.
- W2898868394 hasPrimaryLocation W28988683941 @default.
- W2898868394 hasRelatedWork W1166693715 @default.
- W2898868394 hasRelatedWork W1540981491 @default.
- W2898868394 hasRelatedWork W1542338001 @default.
- W2898868394 hasRelatedWork W1569794958 @default.
- W2898868394 hasRelatedWork W1997354605 @default.
- W2898868394 hasRelatedWork W1997553781 @default.
- W2898868394 hasRelatedWork W2014385852 @default.
- W2898868394 hasRelatedWork W206507803 @default.
- W2898868394 hasRelatedWork W2088490657 @default.
- W2898868394 hasRelatedWork W2183872147 @default.
- W2898868394 hasRelatedWork W2245550411 @default.
- W2898868394 hasRelatedWork W2564286502 @default.
- W2898868394 hasRelatedWork W2565991887 @default.
- W2898868394 hasRelatedWork W2566906701 @default.
- W2898868394 hasRelatedWork W2777364118 @default.
- W2898868394 hasRelatedWork W2784558858 @default.
- W2898868394 hasRelatedWork W2980312990 @default.
- W2898868394 hasRelatedWork W2990670289 @default.
- W2898868394 hasRelatedWork W3002954820 @default.
- W2898868394 hasRelatedWork W3100491053 @default.
- W2898868394 isParatext "false" @default.
- W2898868394 isRetracted "false" @default.
- W2898868394 magId "2898868394" @default.
- W2898868394 workType "article" @default.