scientific article; zbMATH DE number 1761889

zbMATH Open0988.68561MaRDI QIDQ4537508FDOQ4537508

Authors: Germán Vidal, María Alpuente, M. Falaschi 

Publication date: 1 July 2002

Title of this publication is not available (Why is that?)

Recommendations

• A compositional semantic basis for the analysis of equational Horn programs
• Analyses of unsatisfiability for equational logic programming
• scientific article; zbMATH DE number 549952
• A compositional semantics for logic programs
• Incremental constraint satisfaction for equational logic programming

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55)

Cited In (4)

• Termination of Narrowing Using Dependency Pairs
• Sensitivity analysis for Horn formulae
• A compositional semantic basis for the analysis of equational Horn programs
• Horn clauses as an intermediate representation for program analysis and transformation

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 Q4537508)