Program Logics for Homogeneous Generative Run-Time Meta-Programming

DOI10.2168/LMCS-11(1:5)2015zbMath1448.68217arXiv1411.4256MaRDI QIDQ5177336

Martin Berger, Laurence Tratt

Publication date: 11 March 2015

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

verificationtypesspecificationrelative completenessprogram logicmeta-programmingcharacteristic formulaobservational completenessdescriptive completeness

Mathematics Subject Classification ID

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

Related Items (2)

A program logic for fresh name generation ⋮ Reasoning about multi-stage programs

Uses Software

• MiniML

This page was built for publication: Program Logics for Homogeneous Generative Run-Time Meta-Programming