Type Checking Purpose-Based Privacy Policies in the $$\pi $$ -Calculus

Lecture Notes in Computer Science - Web Services, Formal Methods, and Behavioral Types ◽

10.1007/978-3-319-33612-1_8 ◽

2016 ◽

pp. 122-142 ◽

Author(s):

Eleni Kokkinofta ◽

Anna Philippou

Keyword(s):

Privacy Policies ◽

Type Checking ◽

Download Full-text

Algorithmic type checking for a pi-calculus with name matching and session types

The Journal of Logic and Algebraic Programming ◽

10.1016/j.jlap.2013.05.003 ◽

2013 ◽

Vol 82 (8) ◽

pp. 263-281 ◽

Author(s):

Marco Giunti

Keyword(s):

Type Checking ◽

Session Types ◽

Pi Calculus ◽

Download Full-text

Type Checking Privacy Policies in the π-calculus

Formal Techniques for Distributed Objects, Components, and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-19195-9_12 ◽

2015 ◽

pp. 181-195 ◽

Author(s):

Dimitrios Kouzapas ◽

Anna Philippou

Keyword(s):

Privacy Policies ◽

Type Checking ◽

Download Full-text

A Distributed Pi-Calculus

10.1017/cbo9780511611063 ◽

2007 ◽

Author(s):

Matthew Hennessy

Keyword(s):

Download Full-text

Student Perceptions of Facebook’s Privacy Policies & Rights

Journal of Social Media Studies ◽

10.15340/2147336621850 ◽

2015 ◽

Vol 2 (1) ◽

pp. 15-26

Author(s):

Christina L. Wissinger ◽

Keyword(s):

Student Perceptions ◽

Privacy Policies

Download Full-text

k-Choice Nets and Expressiveness of the Pi Calculus

Chinese Journal of Computers ◽

10.3724/sp.j.1016.2013.01261 ◽

2014 ◽

Vol 36 (6) ◽

pp. 1261-1266

Author(s):

Xiang-Ning LI ◽

Ke-Gang HAO ◽

Xiao-Qun GUO

Keyword(s):

Download Full-text

Lower Bounds on Type Checking Overloading

10.21236/ada492255 ◽

1996 ◽

Author(s):

Dennis M. Volpano

Keyword(s):

Lower Bounds ◽

Download Full-text

User-Oriented Privacy Policies: An Optimal Tool for Mitigating the Risks of Collecting User Data from Californians

SSRN Electronic Journal ◽

10.2139/ssrn.2757813 ◽

2014 ◽

Author(s):

Diana J. Stern

Keyword(s):

Privacy Policies ◽

Download Full-text

Coq Coq correct! verification of type checking and erasure for Coq, in Coq

Proceedings of the ACM on Programming Languages ◽

10.1145/3371076 ◽

2020 ◽

Vol 4 (POPL) ◽

pp. 1-28 ◽

Author(s):

Matthieu Sozeau ◽

Simon Boulier ◽

Yannick Forster ◽

Nicolas Tabareau ◽

Théo Winterhalter

Keyword(s):

Download Full-text

Type checking, separate compilation and reusability

Proceedings of the 1984 SIGPLAN symposium on Compiler construction - SIGPLAN '84 ◽

10.1145/502874.502902 ◽

1984 ◽

Author(s):

Michael R. Levy

Keyword(s):

Type Checking ◽

Separate Compilation

Download Full-text

A co-contextual formulation of type rules and its application to incremental type checking

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2015 ◽

10.1145/2814270.2814277 ◽

2015 ◽

Author(s):

Sebastian Erdweg ◽

Oliver Bračevac ◽

Edlira Kuci ◽

Matthias Krebs ◽

Mira Mezini

Keyword(s):

Download Full-text