Matches in SemOpenAlex for { <https://semopenalex.org/work/W4286980902> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W4286980902 abstract "Gradually typed languages allow programmers to mix statically and dynamically typed code, enabling them to incrementally reap the benefits of static typing as they add type annotations to their code. However, this type migration process is typically a manual effort with limited tool support. This paper examines the problem of emph{automated type migration}: given a dynamic program, infer additional or improved type annotations. Existing type migration algorithms prioritize different goals, such as maximizing type precision, maintaining compatibility with unmigrated code, and preserving the semantics of the original program. We argue that the type migration problem involves fundamental compromises: optimizing for a single goal often comes at the expense of others. Ideally, a type migration tool would flexibly accommodate a range of user priorities. We present TypeWhich, a new approach to automated type migration for the gradually-typed lambda calculus with some extensions. Unlike prior work, which relies on custom solvers, TypeWhich produces constraints for an off-the-shelf MaxSMT solver. This allows us to easily express objectives, such as minimizing the number of necessary syntactic coercions, and constraining the type of the migration to be compatible with unmigrated code. We present the first comprehensive evaluation of GTLC type migration algorithms, and compare TypeWhich to four other tools from the literature. Our evaluation uses prior benchmarks, and a new set of ``challenge problems.'' Moreover, we design a new evaluation methodology that highlights the subtleties of gradual type migration. In addition, we apply TypeWhich to a suite of benchmarks for Grift, a programming language based on the GTLC. TypeWhich is able to reconstruct all human-written annotations on all but one program." @default.
- W4286980902 created "2022-07-25" @default.
- W4286980902 creator A5031501470 @default.
- W4286980902 creator A5044042294 @default.
- W4286980902 creator A5075492610 @default.
- W4286980902 creator A5085474894 @default.
- W4286980902 date "2021-09-10" @default.
- W4286980902 modified "2023-10-17" @default.
- W4286980902 title "Solver-based Gradual Type Migration" @default.
- W4286980902 doi "https://doi.org/10.48550/arxiv.2109.05049" @default.
- W4286980902 hasPublicationYear "2021" @default.
- W4286980902 type Work @default.
- W4286980902 citedByCount "0" @default.
- W4286980902 crossrefType "posted-content" @default.
- W4286980902 hasAuthorship W4286980902A5031501470 @default.
- W4286980902 hasAuthorship W4286980902A5044042294 @default.
- W4286980902 hasAuthorship W4286980902A5075492610 @default.
- W4286980902 hasAuthorship W4286980902A5085474894 @default.
- W4286980902 hasBestOaLocation W42869809021 @default.
- W4286980902 hasConcept C138958017 @default.
- W4286980902 hasConcept C154945302 @default.
- W4286980902 hasConcept C166957645 @default.
- W4286980902 hasConcept C169590947 @default.
- W4286980902 hasConcept C18903297 @default.
- W4286980902 hasConcept C198370458 @default.
- W4286980902 hasConcept C199360897 @default.
- W4286980902 hasConcept C2776214188 @default.
- W4286980902 hasConcept C2777299769 @default.
- W4286980902 hasConcept C2778770139 @default.
- W4286980902 hasConcept C41008148 @default.
- W4286980902 hasConcept C44779574 @default.
- W4286980902 hasConcept C79581498 @default.
- W4286980902 hasConcept C80444323 @default.
- W4286980902 hasConcept C86803240 @default.
- W4286980902 hasConcept C95457728 @default.
- W4286980902 hasConceptScore W4286980902C138958017 @default.
- W4286980902 hasConceptScore W4286980902C154945302 @default.
- W4286980902 hasConceptScore W4286980902C166957645 @default.
- W4286980902 hasConceptScore W4286980902C169590947 @default.
- W4286980902 hasConceptScore W4286980902C18903297 @default.
- W4286980902 hasConceptScore W4286980902C198370458 @default.
- W4286980902 hasConceptScore W4286980902C199360897 @default.
- W4286980902 hasConceptScore W4286980902C2776214188 @default.
- W4286980902 hasConceptScore W4286980902C2777299769 @default.
- W4286980902 hasConceptScore W4286980902C2778770139 @default.
- W4286980902 hasConceptScore W4286980902C41008148 @default.
- W4286980902 hasConceptScore W4286980902C44779574 @default.
- W4286980902 hasConceptScore W4286980902C79581498 @default.
- W4286980902 hasConceptScore W4286980902C80444323 @default.
- W4286980902 hasConceptScore W4286980902C86803240 @default.
- W4286980902 hasConceptScore W4286980902C95457728 @default.
- W4286980902 hasLocation W42869809021 @default.
- W4286980902 hasOpenAccess W4286980902 @default.
- W4286980902 hasPrimaryLocation W42869809021 @default.
- W4286980902 hasRelatedWork W1434978938 @default.
- W4286980902 hasRelatedWork W1504651774 @default.
- W4286980902 hasRelatedWork W1573380057 @default.
- W4286980902 hasRelatedWork W2025670560 @default.
- W4286980902 hasRelatedWork W2162118494 @default.
- W4286980902 hasRelatedWork W2167486301 @default.
- W4286980902 hasRelatedWork W2763815264 @default.
- W4286980902 hasRelatedWork W3087747708 @default.
- W4286980902 hasRelatedWork W4233387348 @default.
- W4286980902 hasRelatedWork W2584819674 @default.
- W4286980902 isParatext "false" @default.
- W4286980902 isRetracted "false" @default.
- W4286980902 workType "article" @default.