An abstract interpretation framework for optimizing dynamic modular logic languages

DOI10.1016/0020-0190(96)00051-8zbMATH Open1022.68501OpenAlexW2028186370MaRDI QIDQ1352002FDOQ1352002

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

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

zbMATH Keywords

programming languagesimplementationlogic programmingprogram analysis

Mathematics Subject Classification ID

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

Cites Work

• Abstract interpretation and application to logic programs
• The Semantics of Predicate Logic as a Programming Language
• Clausal intuitionistic logic I. fixed-point semantics
• A logical analysis of modules in logic programming
• Differential logic programs: Programming methodologies and semantics
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (2)

• Title not available (Why is that?)
• 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)