Analysis of sequential PROLOG programs

DOI10.1016/0743-1066(86)90019-1MaRDI QIDQ3721796zbMATH OpenOpenAlexFDO

Authors Rikio Onai, Hajime Shimizu, Kanae Masuda, Moritoshi Aso

Publication date 1986

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

Full work available at URL https://doi.org/10.1016/0743-1066(86)90019-1

zbMATH Keywords

ICOT-developed PROLOG programssequential PROLOG programsstatic and dynamic analyzers

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Automated verification of Prolog programs
• Some global optimizations for a PROLOG compiler
• Reasoning about prolog programs: From modes through types to assertions
• scientific article; zbMATH DE number 516993
• Analyzing logic programs using “prop”-ositional logic programs and a magic wand

Cited in

(3)

• On the sequential nature of interprocedural program-analysis problems
• 1983–1993: The wonder years of sequential Prolog implementation
• scientific article; zbMATH DE number 516999 (Why is no real title available?)

This page was built for publication: Analysis of sequential PROLOG programs

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