TU Darmstadt / ULB / TUbiblio

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

Erdweg, Sebastian and Bračevac, Oliver and Kuci, Edlira and Krebs, Matthias and 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
[Book Section] , (2015)

Official URL: http://doi.acm.org/10.1145/2814270.2814277
Item Type: Book Section
Erschienen: 2015
Creators: Erdweg, Sebastian and Bračevac, Oliver and Kuci, Edlira and Krebs, Matthias and Mezini, Mira
Title: A Co-contextual Formulation of Type Rules and Its Application to Incremental Type Checking
Language: English
Title of Book: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
Series Name: OOPSLA 2015
Place of Publication: New York, NY, USA
Publisher: ACM
Divisions: Department of Computer Science
Department of Computer Science > Software Technology
Event Title: OOPSLA '15
Event Location: Pittsburgh, PA, USA
Event Dates: October 25 - 30
Date Deposited: 12 Dec 2015 00:29
Official URL: http://doi.acm.org/10.1145/2814270.2814277
Identification Number: doi:10.1145/2814270.2814277
Export:

Optionen (nur für Redakteure)

View Item View Item