A Co-contextual Type Checker for Featherweight Java
Kuci, Edlira ; Erdweg, Sebastian
1; Bračevac, Oliver; Bejleri, Andi; Mezini, Mira
1 Institut für Programmstrukturen und Datenorganisation (IPD), Karlsruher Institut für Technologie (KIT)
1; Bračevac, Oliver; Bejleri, Andi; Mezini, Mira1 Institut für Programmstrukturen und Datenorganisation (IPD), Karlsruher Institut für Technologie (KIT)
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsdatum | 16.06.2017 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-95977-035-4 ISSN: 1868-8969 KITopen-ID: 1000188578 |
| Erschienen in | 31st European Conference on Object-Oriented Programming : ECOOP’17, June 18-23, 2017, Barcelona, Spain. Ed.: P. Müller |
| Veranstaltung | 31st European Conference on Object-Oriented Programming (ECOOP 2017), Barcelona, Spanien, 19.06.2017 – 23.06.2017 |
| Verlag | Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI) |
| Seiten | 18:1-18:26 |
| Serie | Leibniz International Proceedings in Informatics ; 74 |
| Nachgewiesen in | Scopus OpenAlex |
| Globale Ziele für nachhaltige Entwicklung |