Erdweg, Sebastian ; Bračevac, Oliver ; Kuci, Edlira ; Krebs, Matthias ; Mezini, Mira (2015)
A Co-contextual Formulation of Type Rules and Its Application to Incremental Type Checking.
In: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
doi: 10.1145/2814270.2814277
Buchkapitel, Bibliographie
| Typ des Eintrags: | Buchkapitel |
|---|---|
| Erschienen: | 2015 |
| Autor(en): | Erdweg, Sebastian ; Bračevac, Oliver ; Kuci, Edlira ; Krebs, Matthias ; Mezini, Mira |
| Art des Eintrags: | Bibliographie |
| Titel: | A Co-contextual Formulation of Type Rules and Its Application to Incremental Type Checking |
| Sprache: | Englisch |
| Publikationsjahr: | 25 Oktober 2015 |
| Ort: | New York, NY, USA |
| Verlag: | ACM |
| Buchtitel: | Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications |
| Reihe: | OOPSLA 2015 |
| DOI: | 10.1145/2814270.2814277 |
| Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik 20 Fachbereich Informatik > Softwaretechnik |
| Hinterlegungsdatum: | 12 Dez 2015 00:29 |
| Letzte Änderung: | 26 Apr 2024 09:36 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum