Matches in SemOpenAlex for { <https://semopenalex.org/work/W4251615680> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W4251615680 endingPage "803" @default.
- W4251615680 startingPage "789" @default.
- W4251615680 abstract "Many language designers have adopted gradual typing. However, there remains open questions regarding how to gradualize languages. Cimini and Siek (2016) created a methodology and algorithm to automatically generate the type system of a gradually typed language from a fully static version of the language. In this paper, we address the next challenge of how to automatically generate the dynamic semantics of gradually typed languages. Such languages typically use an intermediate language with explicit casts. Our first result is a methodology for generating the syntax, type system, and dynamic semantics of the intermediate language with casts. Next, we present an algorithm that formalizes and automates the methodology, given a language definition as input. We show that our approach is general enough to automatically gradualize several languages, including features such as polymorphism, recursive types and exceptions. We prove that our algorithm produces languages that satisfy the key correctness criteria of gradual typing. Finally, we implement the algorithm, generating complete specifications of gradually typed languages in lambda-Prolog, including executable interpreters." @default.
- W4251615680 created "2022-05-12" @default.
- W4251615680 creator A5033999458 @default.
- W4251615680 creator A5074262851 @default.
- W4251615680 date "2017-01-01" @default.
- W4251615680 modified "2023-10-17" @default.
- W4251615680 title "Automatically generating the dynamic semantics of gradually typed languages" @default.
- W4251615680 cites W1973186567 @default.
- W4251615680 cites W1993182924 @default.
- W4251615680 cites W2003969655 @default.
- W4251615680 cites W2019629593 @default.
- W4251615680 cites W2033084853 @default.
- W4251615680 cites W2033348393 @default.
- W4251615680 cites W2034355944 @default.
- W4251615680 cites W2066737960 @default.
- W4251615680 cites W2088295995 @default.
- W4251615680 cites W2111531191 @default.
- W4251615680 cites W2123171027 @default.
- W4251615680 cites W2128303158 @default.
- W4251615680 cites W2128448167 @default.
- W4251615680 cites W2139672701 @default.
- W4251615680 cites W2141210774 @default.
- W4251615680 cites W2150998213 @default.
- W4251615680 cites W2295283668 @default.
- W4251615680 cites W2296599395 @default.
- W4251615680 cites W2561537655 @default.
- W4251615680 cites W2911692446 @default.
- W4251615680 cites W3163012639 @default.
- W4251615680 cites W4229717394 @default.
- W4251615680 doi "https://doi.org/10.1145/3093333.3009863" @default.
- W4251615680 hasPublicationYear "2017" @default.
- W4251615680 type Work @default.
- W4251615680 citedByCount "2" @default.
- W4251615680 countsByYear W42516156802019 @default.
- W4251615680 countsByYear W42516156802021 @default.
- W4251615680 crossrefType "journal-article" @default.
- W4251615680 hasAuthorship W4251615680A5033999458 @default.
- W4251615680 hasAuthorship W4251615680A5074262851 @default.
- W4251615680 hasConcept C122783720 @default.
- W4251615680 hasConcept C135790938 @default.
- W4251615680 hasConcept C154945302 @default.
- W4251615680 hasConcept C160145156 @default.
- W4251615680 hasConcept C184337299 @default.
- W4251615680 hasConcept C198370458 @default.
- W4251615680 hasConcept C199360897 @default.
- W4251615680 hasConcept C2776214188 @default.
- W4251615680 hasConcept C41008148 @default.
- W4251615680 hasConcept C44779574 @default.
- W4251615680 hasConcept C55128367 @default.
- W4251615680 hasConcept C55439883 @default.
- W4251615680 hasConceptScore W4251615680C122783720 @default.
- W4251615680 hasConceptScore W4251615680C135790938 @default.
- W4251615680 hasConceptScore W4251615680C154945302 @default.
- W4251615680 hasConceptScore W4251615680C160145156 @default.
- W4251615680 hasConceptScore W4251615680C184337299 @default.
- W4251615680 hasConceptScore W4251615680C198370458 @default.
- W4251615680 hasConceptScore W4251615680C199360897 @default.
- W4251615680 hasConceptScore W4251615680C2776214188 @default.
- W4251615680 hasConceptScore W4251615680C41008148 @default.
- W4251615680 hasConceptScore W4251615680C44779574 @default.
- W4251615680 hasConceptScore W4251615680C55128367 @default.
- W4251615680 hasConceptScore W4251615680C55439883 @default.
- W4251615680 hasFunder F4320306076 @default.
- W4251615680 hasIssue "1" @default.
- W4251615680 hasLocation W42516156801 @default.
- W4251615680 hasOpenAccess W4251615680 @default.
- W4251615680 hasPrimaryLocation W42516156801 @default.
- W4251615680 hasRelatedWork W1480341462 @default.
- W4251615680 hasRelatedWork W1882578135 @default.
- W4251615680 hasRelatedWork W1933696546 @default.
- W4251615680 hasRelatedWork W2028766178 @default.
- W4251615680 hasRelatedWork W2060295226 @default.
- W4251615680 hasRelatedWork W2066038668 @default.
- W4251615680 hasRelatedWork W2763815264 @default.
- W4251615680 hasRelatedWork W2779172326 @default.
- W4251615680 hasRelatedWork W3003270071 @default.
- W4251615680 hasRelatedWork W3011785936 @default.
- W4251615680 hasVolume "52" @default.
- W4251615680 isParatext "false" @default.
- W4251615680 isRetracted "false" @default.
- W4251615680 workType "article" @default.