An abstract interpretation framework for optimizing dynamic modular logic languages

DOI10.1016/0020-0190(96)00051-8MaRDI QIDQ1352002zbMATH OpenOpenAlexFDO

Authors Anna Ciampolini, Evelina Lamma, Paola Mello

Publication date 27 February 1997

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0020-0190(96)00051-8

zbMATH Keywords

programming languagesimplementationlogic programmingprogram analysis

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17)

Recommendations

• Sequence-based abstract interpretation of Prolog
• Optimality in goal-dependent analysis of Sharing
• Publication:3201751
• Static analysis of logic programs for independent and parallelism
• scientific article; zbMATH DE number 2087567

Cites work

• scientific article; zbMATH DE number 107704 (Why is no real title available?)
• scientific article; zbMATH DE number 826299 (Why is no real title available?)
• A logical analysis of modules in logic programming
• Abstract interpretation and application to logic programs
• Clausal intuitionistic logic I. fixed-point semantics
• Differential logic programs: Programming methodologies and semantics
• The Semantics of Predicate Logic as a Programming Language

Cited in

(2)

• scientific article; zbMATH DE number 1973219 (Why is no real title available?)
• Improving dynamic code analysis by code abstraction

This page was built for publication: An abstract interpretation framework for optimizing dynamic modular logic languages

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