scientific article; zbMATH DE number 868104

zbMATH Open0844.68078MaRDI QIDQ4873987FDOQ4873987

Krzysztof R. Apt

Publication date: 21 April 1996

Title of this publication is not available (Why is that?)

zbMATH Keywords

verification of Prolog programs

Mathematics Subject Classification ID

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

Cited In (8)

• The occur-check problem in Prolog
• Modules and specifications
• Proof checking and logic programming
• Program semantics and verification technique for AI-centred programs
• A verified prolog compiler for the Warren Abstract Machine
• Program Verification with Separation Logic
• Title not available (Why is that?)
• The WAM case study: Verifying compiler correctness for Prolog with KIV

This page was built for publication:

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