A first-order language for expressing sharing and type properties of logic programs

DOI10.1016/S0167-6423(00)00017-4MaRDI QIDQ1595252zbMATH OpenOpenAlexFDO

Authors Paolo Volpe

Publication date 11 February 2001

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0167-6423(00)00017-4

zbMATH Keywords

Boolean algebrasverification of logic programs

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1222406
• scientific article; zbMATH DE number 1761902
• An algebraic approach to sharing analysis of logic programs
• Static Analysis
• Functional and Logic Programming

Cited in

(5)

• Foundations of logic programming in hybrid logics with user-defined sharing
• On the verification of finite failure
• scientific article; zbMATH DE number 1222406 (Why is no real title available?)
• An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics
• Properties of a first-order functional language with sharing

This page was built for publication: A first-order language for expressing sharing and type properties of logic programs

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