From lambda calculus to cybersecurity through program analysis. Essays dedicated to Chris Hankin on the occasion of his retirement. (English) Zbl 1435.68026

Lecture Notes in Computer Science 12065. Cham: Springer (ISBN 978-3-030-41102-2/pbk; 978-3-030-41103-9/ebook). xiv, 293 p. (2020).

Show indexed articles as search result.

The articles of mathematical interest will be reviewed individually.
Indexed articles:
Evans, Richard; Berger, Martin, Cathoristic logic. A logic for capturing inferences between atomic sentences, 17-85 [Zbl 1440.03042]
Di Pierro, Alessandra, A type theory for probabilistic \(\lambda \)-calculus, 86-102 [Zbl 1440.68043]
Al-Sibahi, Ahmad Salim; Jensen, Thomas; Møgelberg, Rasmus Ejlers; Wąsowski, Andrzej, Galois connections for recursive types, 105-131 [Zbl 1440.68042]
Seidl, Helmut; Erhard, Julian; Vogler, Ralf, Incremental abstract interpretation, 132-148 [Zbl 1440.68047]
Amtoft, Torben; Androutsopoulos, Kelly; Clark, David, Correctly slicing extended finite state machines, 149-197 [Zbl 1440.68149]
Nielson, Flemming; Nielson, Hanne Riis, Secure guarded commands, 201-215 [Zbl 1440.68036]
Bodei, Chiara; Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio, Security metrics at work on the things in IoT systems, 233-255 [Zbl 1440.68017]

MSC:

68-06	Proceedings, conferences, collections, etc. pertaining to computer science
03B70	Logic in computer science
68M25	Computer security
68N30	Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
00B30	Festschriften