TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 7.

Grewe, Sylvia (2019):
Automating Type Soundness Proofs for Domain-Specific Languages.
Darmstadt, Technische Universität, [Online-Edition: https://tuprints.ulb.tu-darmstadt.de/9025],
[Ph.D. Thesis]

Bračevac, Oliver and Gay, Richard and Grewe, Sylvia and Mantel, Heiko and Sudbrock, Henning and Tasch, Markus (2018):
An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties.
In: Archive of Formal Proofs, 2018[Article]

Grewe, Sylvia and Erdweg, Sebastian and Mezini, Mira Kovacs, Laura and Voronkov, Andrei (eds.) (2017):
Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny.
In: EPiC Series in Computing, In: Vampire 2016. Proceedings of the 3rd Vampire Workshop, pp. 33-45, [Online-Edition: http://easychair.org/publications/paper/Automating_Proof_Ste...],
[Book Section]

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]

Grewe, Sylvia and Erdweg, Sebastian and Raulf, Michael and Mezini, Mira (2016):
Exploration of language specifications by compilation to first-order logic.
In: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016, ACM, pp. 104-117, [Online-Edition: http://doi.acm.org/10.1145/2967973.2968606],
[Book Section]

Grewe, Sylvia and Erdweg, Sebastian and Mezini, Mira Kovács, Laura and Voronkov, Andrei (eds.) (2016):
Using Vampire in Soundness Proofs of Type Systems.
In: EPiC Series in Computing, In: Proceedings of the 1st and 2nd Vampire Workshops, [Online-Edition: http://easychair.org/publications/paper/Using_Vampire_in_Sou...],
[Conference or Workshop Item]

Grewe, Sylvia and Erdweg, Sebastian and Wittmann, Pascal and Mezini, Mira (2015):
Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers.
In: 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2015, Pittsburgh, PA, USA, October 25-30, 2015, ACM, pp. 137-150, [Online-Edition: http://doi.acm.org/10.1145/2814228.2814239],
[Book Section]

This list was generated on Tue Oct 20 01:09:33 2020 CEST.