scientific article; zbMATH DE number 879006

zbMATH Open0847.68020MaRDI QIDQ4878775

Egon Börger, Elvinia Riccobene

Publication date: 14 May 1996

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

zbMATH Keywords

evolving algebraslogic programming language GÖDEL

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Precise goal-independent abstract interpretation of constraint logic programs. 👍 👎
• Abstract interpretation based verification of logic programs 👍 👎
• Lifting abstract interpreters to quantified logical domains 👍 👎
• Abstract interpretation and application to logic programs 👍 👎
• Logic + control: On program construction and verification 👍 👎
• A CTL-Based Logic for Program Abstractions 👍 👎
• A practical framework for theabstract interpretation of logic programs 👍 👎

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 Q4878775)