Axiomatization of a functional logic language

DOI10.1007/3-540-53162-9_33MaRDI QIDQ5096190zbMATH OpenOpenAlexFDO

Authors Francois Bronsard, Uday S. Reddy

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) Logic programming (68N17) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 4043306
• scientific article; zbMATH DE number 1487843
• A functional logic for higher level reasoning about computation
• scientific article; zbMATH DE number 3945331
• Logic programming, functional programming, and inductive definitions

Cites work

• Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
• Equality, types, modules, and (why not?) generics for logic programming
• scientific article; zbMATH DE number 4043306 (Why is no real title available?)
• scientific article; zbMATH DE number 3688776 (Why is no real title available?)
• scientific article; zbMATH DE number 3300566 (Why is no real title available?)
• scientific article; zbMATH DE number 3060222 (Why is no real title available?)
• On the Axiomatization of “If-Then-Else”
• Rewriting techniques for program synthesis
• The Munich project CIP. Volume II: The program transformation system CIP- S
• Varieties of ”If-Then-Else“

Cited in

(5)

• scientific article; zbMATH DE number 4043306 (Why is no real title available?)
• scientific article; zbMATH DE number 1332638 (Why is no real title available?)
• First-order functional languages and intensional logic
• Axiomatization of a Denotational Semantics for First-order Logic
• Conditional rewriting in focus

This page was built for publication: Axiomatization of a functional logic language

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