Overcoming Performance Barriers: Efficient Verification Techniques for Logical Frameworks

DOI10.1007/11799573_3MaRDI QIDQ5449588zbMATH OpenOpenAlexFDO

Authors Brigitte Pientka

Publication date 11 March 2008

Published in Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11799573_3

Mathematics Subject Classification ID

Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2110615
• Functional and Logic Programming
• Mechanizing metatheory in a logical framework
• scientific article; zbMATH DE number 2090315
• Logical relations for a logical framework

Cited in

(1)

• scientific article; zbMATH DE number 2090315 (Why is no real title available?)

This page was built for publication: Overcoming Performance Barriers: Efficient Verification Techniques for Logical Frameworks

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