Standard

Relational Solver for Java Generics Type System. / Лозов, Петр Алексеевич; Косарев, Дмитрий Сергеевич; Иванов, Дмитрий; Булычев, Дмитрий Юрьевич.

Logic-Based Program Synthesis and Transformation (LOPSTR 2023). Springer Nature, 2023. стр. 118–128.

Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

Harvard

Лозов, ПА, Косарев, ДС, Иванов, Д & Булычев, ДЮ 2023, Relational Solver for Java Generics Type System. в Logic-Based Program Synthesis and Transformation (LOPSTR 2023). Springer Nature, стр. 118–128, 33rd International Symposium on
Logic-based Program Synthesis and Transformation, Лиссабон, Португалия, 23/10/23. https://doi.org/10.1007/978-3-031-45784-5_8

APA

Лозов, П. А., Косарев, Д. С., Иванов, Д., & Булычев, Д. Ю. (2023). Relational Solver for Java Generics Type System. в Logic-Based Program Synthesis and Transformation (LOPSTR 2023) (стр. 118–128). Springer Nature. https://doi.org/10.1007/978-3-031-45784-5_8

Vancouver

Лозов ПА, Косарев ДС, Иванов Д, Булычев ДЮ. Relational Solver for Java Generics Type System. в Logic-Based Program Synthesis and Transformation (LOPSTR 2023). Springer Nature. 2023. стр. 118–128 https://doi.org/10.1007/978-3-031-45784-5_8

Author

Лозов, Петр Алексеевич ; Косарев, Дмитрий Сергеевич ; Иванов, Дмитрий ; Булычев, Дмитрий Юрьевич. / Relational Solver for Java Generics Type System. Logic-Based Program Synthesis and Transformation (LOPSTR 2023). Springer Nature, 2023. стр. 118–128

BibTeX

@inproceedings{75db5232b53d4baf918389d9ea742172,
title = "Relational Solver for Java Generics Type System",
author = "Лозов, {Петр Алексеевич} and Косарев, {Дмитрий Сергеевич} and Дмитрий Иванов and Булычев, {Дмитрий Юрьевич}",
year = "2023",
doi = "10.1007/978-3-031-45784-5_8",
language = "English",
pages = "118–128",
booktitle = "Logic-Based Program Synthesis and Transformation (LOPSTR 2023)",
publisher = "Springer Nature",
address = "Germany",
note = "33rd International Symposium on<br/>Logic-based Program Synthesis and Transformation, LOPSTR ; Conference date: 23-10-2023 Through 24-10-2023",

}

RIS

TY - GEN

T1 - Relational Solver for Java Generics Type System

AU - Лозов, Петр Алексеевич

AU - Косарев, Дмитрий Сергеевич

AU - Иванов, Дмитрий

AU - Булычев, Дмитрий Юрьевич

PY - 2023

Y1 - 2023

U2 - 10.1007/978-3-031-45784-5_8

DO - 10.1007/978-3-031-45784-5_8

M3 - Conference contribution

SP - 118

EP - 128

BT - Logic-Based Program Synthesis and Transformation (LOPSTR 2023)

PB - Springer Nature

T2 - 33rd International Symposium on<br/>Logic-based Program Synthesis and Transformation

Y2 - 23 October 2023 through 24 October 2023

ER -

ID: 133690438