From process logic to program logic

DOI10.1145/1016850.1016874zbMath1323.03034OpenAlexW4210377277WikidataQ130884306 ScholiaQ130884306MaRDI QIDQ5178034

Kohei Honda

Publication date: 9 March 2015

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

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

zbMATH Keywords

typesduality\(\pi\)-calculusHoare logicmobile processeshigher-order functions

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Time Bounds for General Function Pointers ⋮ An observationally complete program logic for imperative higher-order functions ⋮ Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness

This page was built for publication: From process logic to program logic