scientific article; zbMATH DE number 549958

zbMATH Open0789.68035MaRDI QIDQ4287477FDOQ4287477

Authors: Ulf Nilsson 

Publication date: 6 May 1994

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

Recommendations

• Abstract interpretation: a kind of magic
• Abstract interpretation based on Alexander Templates
• Magic templates: a spellbinding approach to logic programs

zbMATH Keywords

abstract interpretationmagic setsdeductive databasesmagic templates transformation

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15)

Cited In (3)

• Title not available (Why is that?)
• Abstract interpretation based on Alexander Templates
• Bottom-up abstract 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 Q4287477)