|
СЕМИНАРЫ |
Российский гибридный семинар STEP-2023 по фундаментальным вопросам программной инженерии
теории и экспериментальному программированию
|
|||
|
Relational Solver for Java Generics Type System P. A. Lozov Saint Petersburg State University |
|||
Аннотация: In this talk, we will describe a solver for Java generics type system that was implemented using relational verifier-to-solver approach. The solver finds solutions for a system of subtyping inequations with free variables, and thus can be used to determine a concrete type satisfying a set of constraints. Also, we will discuss the relational verifier-to-solver approach, some extra-relational optimizations we used in the implementation and possible applications of the solver. (Joint work with Dmitry Kosarev, Dmitry Ivanov and Dmitry Boulytchev.) Язык доклада: английский |