A functional logic for higher level reasoning about computation

DOI10.1007/BF01211079zbMath0801.03023OpenAlexW2076845834MaRDI QIDQ1318281

John Staples, Daniel Hazel, Peter J. Robinson

Publication date: 1 December 1994

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01211079

zbMATH Keywords

modal logicprogram specificationcategory theoryset theorysemanticssyntaxfunctional logicreasoning about computation

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Automatizing parametric reasoning on distributed concurrent systems ⋮ The completeness of functional logic

Uses Software

• Qu-Prolog
• Lucid

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Formalizing a Hierarchical Structure of Practical Mathematical Reasoning
• A new method for determining linear precedence functions for precedence grammars

This page was built for publication: A functional logic for higher level reasoning about computation