From 2825f120ead6ff4c7912fd6be760572053f1747a Mon Sep 17 00:00:00 2001 From: "pl@gohorb.ba-horb.de" Date: Fri, 12 Apr 2024 19:42:11 +0200 Subject: [PATCH] modified: martin.bib modified: relatedwork.tex --- martin.bib | 44 ++++++++++++++++++++------------------------ relatedwork.tex | 7 +++++++ 2 files changed, 27 insertions(+), 24 deletions(-) diff --git a/martin.bib b/martin.bib index 05ac49e..fd42677 100644 --- a/martin.bib +++ b/martin.bib @@ -514,46 +514,42 @@ keywords = {Compilation, Java, generic classes, language design, language semant @InProceedings{PH23, author = {Martin Pl{\"u}micke and Daniel Holle}, title = {Principal generics in {J}ava--{T}{X}}, - booktitle = {Programmiersprachen und Grundlagen der Programmierung, 22. Kolloquium, KPS'23}, - Optcrossref = {kps2023}, + crossref = {kps2023}, pages = {122--143}, year = {2023}, - editor = {Thomas Noll and Ira Fesefeldt}, + Opteditor = {Thomas Noll and Ira Fesefeldt}, address = {Aachen}, - number = {AIB-2023-03}, + Optnumber = {AIB-2023-03}, month = {September}, series = {Aachener Informatik-Berichte (AIB)}, url = {https://publications.rwth-aachen.de/record/972197/files/972197.pdf#%5B%7B%22num%22%3A281%2C%22gen%22%3A0%7D%2C%7B%22name%22%3A%22XYZ%22%7D%2C89.292%2C740.862%2Cnull%5D}, - doi = {10.18154/RWTH-2023-10034}, + Optdoi = {10.18154/RWTH-2023-10034}, Optnote = {(to appear)} } +@Proceedings{kps2023, + booktitle = {22. Kolloquium Programmiersprachen und Grundlagen der Programmierung}, + year = {2023}, + editor = {Noll, Thomas and Fesefeldt, Ira Justus}, + number = {AIB-2023-03}, + series = {Technical report / Department of Computer Science. - Informatik}, + month = {September}, + organization = {RWTH Aachenen}, + doi = {10.18154/RWTH-2023-10034} +} + @InProceedings{plue24_1, author = {Martin Pl{\"u}micke}, - title = {Avoiding the Capture Conversion in Java--TX}, + title = {Avoiding the Capture Conversion in {J}ava--{T}{X}}, crossref = {HKPTW24}, - OPTkey = {}, - booktitle = {Proceedings of the 37th Annual Meeting of the GI Working Group Programming Languages and -Computing Concepts}, pages = {109--115}, - year = {2023}, - Opteditor = {Jens Knoop and Baltasar Tranc\'{o}n y Widemann}, - OPTvolume = {}, - OPTnumber = {488}, - OPTseries = {Research Report}, - OPTaddress = {}, - OPTmonth = {}, - OPTorganization = {Faculty of Mathematics and Natural Sciences, UNIVERSITY OF OSLO}, - OPTpublisher = {}, - OPTnote = {ISBN 978-82-7368-453-0}, - OPTannote = {}, - note = {(to appear)} + year = {2023} } - -@TechReport{HKPTW24, +@proceedings{HKPTW24, author = {Daniel Holle and Jens Knoop and Martin Pl\"umicke and Peter Thiemann and Baltasar Tranc\'{o}n y Widemann}, - title = {Java-{TX}: {T}he language}, + booktitle = {Proceedings of the 37th Annual Meeting of the GI Working Group Programming Languages and +Computing Concepts}, institution = {DHBW Stuttgart}, year = {2024}, type = {INSIGHTS -- Schriftenreihe der Fakult\"at Technik}, diff --git a/relatedwork.tex b/relatedwork.tex index 62bf592..32c9368 100644 --- a/relatedwork.tex +++ b/relatedwork.tex @@ -1,5 +1,12 @@ \section{Related Work} +Igarashi et al \cite{FJ} define Featherweight Java +and its generic sibling, Featherweight Generic Java. Their language is +a functional calculus reduced to the bare essentials, they develop the full metatheory, they +support generics, and study the type erasing transformation used by +the Java compiler. Stadelmeier et. al. extends this approach by global type +inference \cite{TIforFGJ}. + \subsection{Wildcards in formal Java models} Wildcards are first described in a research paper in \cite{addingWildcardsToJava}. In \cite{TEP05} the Featherweight Java-Calculus \textsf{Wild~ FJ} is introduced. It