scientific article; zbMATH DE number 1761889

MaRDI QIDQ4537508zbMATH OpenFDO

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

Publication date 1 July 2002

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)

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

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)