Kuci, Edlira ; Erdweg, Sebastian ; Bračevac, Oliver ; Bejleri, Andi ; Mezini, Mira (2017)
A Co-contextual Type Checker for Featherweight Java.
In: 31st European Conference on Object-Oriented Programming (ECOOP 2017)
doi: 10.4230/LIPIcs.ECOOP.2017.18
Buchkapitel, Bibliographie
Typ des Eintrags: | Buchkapitel |
---|---|
Erschienen: | 2017 |
Autor(en): | Kuci, Edlira ; Erdweg, Sebastian ; Bračevac, Oliver ; Bejleri, Andi ; Mezini, Mira |
Art des Eintrags: | Bibliographie |
Titel: | A Co-contextual Type Checker for Featherweight Java |
Sprache: | Englisch |
Publikationsjahr: | 13 Juni 2017 |
Buchtitel: | 31st European Conference on Object-Oriented Programming (ECOOP 2017) |
Reihe: | Leibniz International Proceedings in Informatics (LIPIcs) |
Band einer Reihe: | 74 |
DOI: | 10.4230/LIPIcs.ECOOP.2017.18 |
URL / URN: | http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=7262 |
Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik > Softwaretechnik 20 Fachbereich Informatik |
Hinterlegungsdatum: | 06 Jul 2017 12:27 |
Letzte Änderung: | 07 Jul 2017 17:08 |
PPN: | |
Export: | |
Suche nach Titel in: | TUfind oder in Google |
Frage zum Eintrag |
Optionen (nur für Redakteure)
Redaktionelle Details anzeigen |