|
|
Российский гибридный семинар STEP-2023 по фундаментальным вопросам программной инженерии
теории и экспериментальному программированию
15 декабря 2023 г. 14:00–15:30, г. Новосибирск, факультет МКН СПбГу (Санкт-Петербург, 14-я линия В.О.)
|
|
|
|
|
|
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.)
Язык доклада: английский
|
|