scientific article; zbMATH DE number 1948391

MaRDI QIDQ4411953zbMATH OpenFDO

Authors C. Vaucheret, F. Bueno

Publication date 13 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2477/24770102.htm

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Type analysis of prolog using type graphs
• A bottom-up polymorphic type inference in logic programming
• Type inference in Prolog: A new approach
• A polymorphic type dependency analysis for logic programs
• Polymorphic type analysis in logic programs by abstract interpretation

Cited in

(19)

• Non-strict independence-based program parallelization using sharing and freeness information
• A bottom-up polymorphic type inference in logic programming
• Type inference in Prolog: A new approach
• Testing your (static analysis) truths
• On types and type consistency in logic programming (Diss., FernUniv. Hagen, 1999)
• A transformational approach to parametric accumulated-cost static profiling
• scientific article; zbMATH DE number 1222409 (Why is no real title available?)
• Type analysis of prolog using type graphs
• Description and optimization of abstract machines in a dialect of Prolog
• Semantic code browsing
• Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption
• A three-valued semantics for typed logic programming
• Evaluation of the implementation of an abstract interpretation algorithm using tabled CLP*
• Optimizing optimal reduction
• scientific article; zbMATH DE number 5198991 (Why is no real title available?)
• Improving precision of type analysis using non-discriminative union
• Data type inference for logic programming
• Abstraction-carrying code: a model for mobile code safety
• Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses

This page was built for publication:

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