A functional logic for higher level reasoning about computation
From MaRDI portal
Publication:1318281
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
modal logicprogram specificationcategory theoryset theorysemanticssyntaxfunctional logicreasoning about computation
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
Cites Work
This page was built for publication: A functional logic for higher level reasoning about computation