Repository logo
Thesis

Inferring side-effects, nullability and exceptions for Java bytecode for generating the purely functional wrappers for libraries

dc.contributor.authorNajder, Konrad
dc.contributor.departmentWydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
dc.contributor.reviewerGajer, Mirosław
dc.contributor.supervisorJobczyk, Krystian
dc.date.available2020-02-10T18:09:40Z
dc.date.defence2019-12-10
dc.description.typepraca magisterska
dc.identifier.urihttps://repo.agh.edu.pl/handle/AGH/81816
dc.language.isoeng
dc.rightsAccess rights reserved
dc.rights.accesszastrzeżony dostęp
dc.rights.accessNoteBrak zgody na udostępnienie pracy w czytelni Biblioteki Wydziałowej
dc.rights.urihttps://repo.agh.edu.pl/info/restricted-access
dc.subjectkod bajtowypl
dc.subjectJavapl
dc.subjectScalapl
dc.subjectJVMpl
dc.subjectprogramowanie funkcyjnepl
dc.subjectprogramowanie deklaratywnepl
dc.subjectgenerowanie kodupl
dc.subjectzerowalnośćpl
dc.subjectprzejrzystość referencyjnapl
dc.subjectefekt ubocznypl
dc.titleInferring side-effects, nullability and exceptions for Java bytecode for generating the purely functional wrappers for librariesen
dc.title.alternativeInferencja skutków ubocznych, zerowalności i wyjątków dla bytecode'u Javy dla automatycznego generowania funkcyjnych klas opakowujących dla bibliotekpl
dc.typepraca dyplomowa
dspace.entity.typePublication
thesis.degree.disciplineInformatyka (WEAIiIB)pl
thesis.degree.fieldOfStudyInstanceCode13613
thesis.degree.formOfStudystacjonarnepl
thesis.degree.grantorAkademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowiepl
thesis.degree.levelstudia drugiego stopniapl
thesis.degree.namemagister inżynierpl
thesis.identifier.dxp254108
thesis.statusORPDORPPD2_migrated

Files