Creating specialised integrity checks through partial evaluation of meta-interpreters

DOI10.1016/S0743-1066(97)10012-7MaRDI QIDQ4223470zbMATH OpenFDO

Authors Michael Leuschel, Danny De Schreye

Publication date 19 April 1999

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0743-1066(97)10012-7

zbMATH Keywords

deductive databasesmeta-interpreter

Mathematics Subject Classification ID

Logic programming (68N17) Theory of software (68N99)

Recommendations

• Incremental Integrity Checking: Limitations and Possibilities
• scientific article; zbMATH DE number 67827
• Efficient and flexible access control via Jones-optimal logic program specialisation
• scientific article; zbMATH DE number 4085067

Cited in

(3)

• Efficient and flexible access control via Jones-optimal logic program specialisation
• scientific article; zbMATH DE number 67827 (Why is no real title available?)
• Verification of meta-interpreters

Describes a project that uses

Uses Software

• ECCE
• DPPD

This page was built for publication: Creating specialised integrity checks through partial evaluation of meta-interpreters

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