A logical analysis of aliasing in imperative higher-order functions

DOI10.1145/1086365.1086401zbMath1302.68182OpenAlexW2068352674MaRDI QIDQ2936791

Nobuko Yoshida, Kohei Honda, Martin Berger

Publication date: 6 January 2015

Published in: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1086365.1086401

zbMATH Keywords

functional programming\(\pi\)-calculusaliasingtypingmodalitiespointersHoare-logics

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Laws of Programming for References ⋮ Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness

This page was built for publication: A logical analysis of aliasing in imperative higher-order functions