Keyword:type systems

Publications
Type Checking Conditional Purpose-Based Privacy Policies in the π-Calculus Georgios V. Pitsiladis EasyChair Preprint 7596
Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing between Black-Box Components Robin Adams and Sibylle Schupp EasyChair Preprint 425
Automatic Space Bound Analysis for Functional Programs with Garbage Collection Yue Niu and Jan Hoffmann In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny Sylvia Grewe, Sebastian Erdweg and Mira Mezini In:Vampire 2016. Proceedings of the 3rd Vampire Workshop
Using Vampire in Soundness Proofs of Type Systems Sylvia Grewe, Sebastian Erdweg and Mira Mezini In:Proceedings of the 1st and 2nd Vampire Workshops
The use of types in designing unification algorithms: two case studies Serdar Erbatur, Santiago Escobar and Paliath Narendran In:UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification