TU Darmstadt / ULB / TUbiblio

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

Grewe, Sylvia :
VeriTaS: Verification of type system specifications: Mechanizing domain knowledge about progress and preservation proofs.
[Online-Edition: http://doi.acm.org/10.1145/2984043]
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.
[Buchkapitel], (2016)

Offizielle URL: http://doi.acm.org/10.1145/2984043
Typ des Eintrags: Buchkapitel
Erschienen: 2016
Autor(en): Grewe, Sylvia
Titel: VeriTaS: Verification of type system specifications: Mechanizing domain knowledge about progress and preservation proofs
Sprache: Englisch
Buchtitel: Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity, SPLASH 2016
Ort: Amsterdam, Netherlands
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik > Softwaretechnik
20 Fachbereich Informatik
Hinterlegungsdatum: 18 Apr 2017 08:50
Offizielle URL: http://doi.acm.org/10.1145/2984043
Projekte: ERC 321217
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen