A program logic for fresh name generation

DOI10.1007/978-3-030-89247-0_6zbMath1496.68103arXiv2101.10720OpenAlexW3210061875MaRDI QIDQ2145263

Martin Berger, Harold Pancho Eliott

Publication date: 17 June 2022

Full work available at URL: https://arxiv.org/abs/2101.10720

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)

Uses Software

• Nominal Isabelle

Cites Work

• Unnamed Item
• Unnamed Item
• A new approach to abstract syntax with variable binding
• A calculus of mobile processes. II
• Nominal logic, a first order theory of names and binding
• Nominal Sets
• Logical Reasoning for Higher-Order Functions with Local State
• Elementary structures in process theory (1): Sets with renaming
• The impact of higher-order state and control effects on local relational reasoning
• Program Logics for Homogeneous Generative Run-Time Meta-Programming
• Automated Deduction – CADE-20

This page was built for publication: A program logic for fresh name generation