Axiomatization of a functional logic language

DOI10.1007/3-540-53162-9_33zbMath1493.68055OpenAlexW97144627MaRDI QIDQ5096190

Uday S. Reddy, Francois Bronsard

Publication date: 16 August 2022

Published in: Algebraic and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-53162-9_33

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Conditional rewriting in focus

Cites Work

• The Munich project CIP. Volume II: The program transformation system CIP- S
• Varieties of ”If-Then-Else“
• On the Axiomatization of “If-Then-Else”
• Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
• Rewriting techniques for program synthesis
• Equality, types, modules, and (why not?) generics for logic programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item