scientific article; zbMATH DE number 1953275

MaRDI QIDQ4414727zbMATH OpenFDO

Authors Michael Codish, Harald Søndergaard

Publication date 27 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2566/25660109.htm

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Sequence-based abstract interpretation of Prolog
• Abstract interpretation and application to logic programs
• scientific article; zbMATH DE number 4076581
• scientific article; zbMATH DE number 4178750
• scientific article; zbMATH DE number 516993

Cited in

(4)

• S-semantics for logic programming: a retrospective look
• Abstract metaprolog engine
• Transformation-Enabled Precondition Inference
• Lightweight functional logic meta-programming

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