HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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
Copyright © 2012-2025 easychair.org. All rights reserved.