TU Darmstadt / ULB / TUbiblio

VeriTaS: Verification of type system specifications: Mechanizing domain knowledge about progress and preservation proofs

Grewe, Sylvia (2016):
VeriTaS: Verification of type system specifications: Mechanizing domain knowledge about progress and preservation proofs.
In: Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity, SPLASH 2016, Amsterdam, Netherlands, pp. 12-14, [Online-Edition: http://doi.acm.org/10.1145/2984043],
[Book Section]

Item Type: Book Section
Erschienen: 2016
Creators: Grewe, Sylvia
Title: VeriTaS: Verification of type system specifications: Mechanizing domain knowledge about progress and preservation proofs
Language: English
Title of Book: Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity, SPLASH 2016
Place of Publication: Amsterdam, Netherlands
Divisions: 20 Department of Computer Science > Software Technology
20 Department of Computer Science
Date Deposited: 18 Apr 2017 08:50
Official URL: http://doi.acm.org/10.1145/2984043
Projects: ERC 321217
Export:

Optionen (nur für Redakteure)

View Item View Item