Semantic determinism and functional logic program properties

DOI10.1016/J.ENTCS.2006.10.018MaRDI QIDQ2864514zbMATH OpenOpenAlexFDO

Authors José Miguel Cleva, F. J. López-Fraguas

Publication date 6 December 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2006.10.018

zbMATH Keywords

functional-logic programmingprogram propertiessemantic determinism

Mathematics Subject Classification ID

Logic programming (68N17) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Equivalence of two formal semantics for functional logic programs
• Dynamic detection of determinism in functional logic languages
• Functional logic programming with failure: a set-oriented view
• scientific article; zbMATH DE number 549960
• scientific article; zbMATH DE number 1086633

Cites work

• An approach to declarative programming based on a rewriting logic
• Conditional rewriting logic as a unified model of concurrency
• scientific article; zbMATH DE number 1088020 (Why is no real title available?)
• Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
• Isabelle/HOL. A proof assistant for higher-order logic
• Logic Programming
• Non-determinism analyses in a parallel-functional language
• Nondeterministic algebraic specifications and nonconfluent term rewriting

Cited in

(8)

• CurryCheck: checking properties of Curry programs
• Extra variables can be eliminated from functional logic programs
• Proving properties of functional programs by equality saturation
• scientific article; zbMATH DE number 5007864 (Why is no real title available?)
• scientific article; zbMATH DE number 549960 (Why is no real title available?)
• Default rules for Curry
• The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages
• Dynamic detection of determinism in functional logic languages

Describes a project that uses

Uses Software

• TOY

This page was built for publication: Semantic determinism and functional logic program properties

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