TU Darmstadt / ULB / TUbiblio

A Co-contextual Formulation of Type Rules and Its Application to Incremental Type Checking

Erdweg, Sebastian ; Bračevac, Oliver ; Kuci, Edlira ; Krebs, Matthias ; Mezini, Mira :
A Co-contextual Formulation of Type Rules and Its Application to Incremental Type Checking.
[Online-Edition: http://doi.acm.org/10.1145/2814270.2814277]
In: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. OOPSLA 2015. ACM, New York, NY, USA Pittsburgh, PA, USA , pp. 880-897. ISBN 978-1-4503-3689-5
[Buchkapitel], (2015)

Offizielle URL: http://doi.acm.org/10.1145/2814270.2814277
Typ des Eintrags: Buchkapitel
Erschienen: 2015
Autor(en): Erdweg, Sebastian ; Bračevac, Oliver ; Kuci, Edlira ; Krebs, Matthias ; Mezini, Mira
Titel: A Co-contextual Formulation of Type Rules and Its Application to Incremental Type Checking
Sprache: Englisch
Buchtitel: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
Reihe: OOPSLA 2015
Ort: New York, NY, USA
Verlag: ACM
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Fachbereich Informatik > Softwaretechnik
Veranstaltungstitel: OOPSLA '15
Veranstaltungsort: Pittsburgh, PA, USA
Veranstaltungsdatum: October 25 - 30
Hinterlegungsdatum: 12 Dez 2015 00:29
Offizielle URL: http://doi.acm.org/10.1145/2814270.2814277
ID-Nummer: 10.1145/2814270.2814277
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen