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 (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, New York, NY, USA, ACM, pp. 880-897, [Online-Edition: http://doi.acm.org/10.1145/2814270.2814277],
[Book Section]

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
ISBN: 978-1-4503-3689-5
Divisions: 20 Department of Computer Science
20 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