Semantic Determinism and Functional Logic Program Properties

DOI10.1016/j.entcs.2006.10.018zbMath1277.68048OpenAlexW2032660789MaRDI QIDQ2864514

José Miguel Cleva, Francisco 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

program propertiesfunctional-logic programmingsemantic determinism

Mathematics Subject Classification ID

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

Uses Software

• TOY

Cites Work

• Unnamed Item
• Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
• Conditional rewriting logic as a unified model of concurrency
• Isabelle/HOL. A proof assistant for higher-order logic
• Nondeterministic algebraic specifications and nonconfluent term rewriting
• Non-determinism analyses in a parallel-functional language
• An approach to declarative programming based on a rewriting logic
• Logic Programming

This page was built for publication: Semantic Determinism and Functional Logic Program Properties