Verification of meta-interpreters

DOI10.1093/LOGCOM/7.2.267MaRDI QIDQ4340422zbMATH OpenOpenAlexFDO

Authors Dino Pedreschi, Salvatore Ruggieri

Publication date 10 June 1997

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/7.2.267

zbMATH Keywords

logic meta-interpretersVanilla

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Creating specialised integrity checks through partial evaluation of meta-interpreters
• Verified functional programming of an abstract interpreter
• Verification by abstract interpretation
• scientific article; zbMATH DE number 1374873
• Meta programming on the proof level
• Verification of non-functional programs using interpretations in type theory

Cited in

(2)

• Weakest preconditions for pure Prolog programs
• On termination of meta-programs

This page was built for publication: Verification of meta-interpreters

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