From process logic to program logic

DOI10.1145/1016850.1016874MaRDI QIDQ5178034zbMATH OpenOpenAlexWikidataFDO

Authors 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

\(\pi\)-calculusdualityhigher-order functionsHoare logicmobile processestypes

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 708499
• scientific article; zbMATH DE number 3878341
• scientific article; zbMATH DE number 4205998
• From Logic to Functional Logic Programs
• scientific article; zbMATH DE number 1407683
• scientific article; zbMATH DE number 4108157
• scientific article; zbMATH DE number 4055020
• From rewriting logic, to programming language semantics, to program verification
• Comparing some Intuitions of 'Process Calculus' and 'Program Logic'
• A logical process calculus

Cited in

(8)

• Behavioral program logic
• Flow logic for process calculi
• Time bounds for general function pointers
• scientific article; zbMATH DE number 4170872 (Why is no real title available?)
• Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes
• An observationally complete program logic for imperative higher-order functions
• Type-based security for mobile computing integrity, secrecy and liveness
• Programming Languages and Systems

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5178034)