Inferring side-effects, nullability and exceptions for Java bytecode for generating the purely functional wrappers for libraries
Loading...
Defence Date
2019-12-10
Authors
Supervisors:
Reviewers:
Access rights
Access: zastrzeżony dostęp
Access details: Brak zgody na udostępnienie pracy w czytelni Biblioteki Wydziałowej
Other title
Inferencja skutków ubocznych, zerowalności i wyjątków dla bytecode'u Javy dla automatycznego generowania funkcyjnych klas opakowujących dla bibliotek
Resource type
Defence details
Degree Grantor: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
Course: Informatyka (WEAIiIB)
Form of study: stacjonarne
Degree level: studia drugiego stopnia
Degree name: magister inżynier
Description
Abstract
Access rights
Access: zastrzeżony dostęp
Access details: Brak zgody na udostępnienie pracy w czytelni Biblioteki Wydziałowej