Live data structures in logic programs. Derivation by means of abstract interpretation

From MaRDI portal

(Redirected from Live data structures in logic programs. Derivation by means of abstract interpretation)

Jump to:navigation, search

WARNING: Page is not linked to a MaRDI-Entity. Please add Sitelink / Wikibase-link.

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Live_data_structures_in_logic_programs._Derivation_by_means_of_abstract_interpretation&oldid=67518078"