scientific article
From MaRDI portal
Publication:3058231
zbMath1229.68026MaRDI QIDQ3058231
No author found.
Publication date: 19 November 2010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
equational reasoningHaskellprogram derivationBoyer-MooreKnuth-Morris-Prattprogramming pearlsSchorr-Waitesubtle reasoning
Analysis of algorithms (68W40) Nonnumerical algorithms (68W05) Functional programming and lambda calculus (68N18) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (8)
Algebraic dynamic programming for multiple context-free grammars ⋮ An in-situ algorithm for expanding a graph ⋮ Schlegel Diagram and Optimizable Immediate Snapshot Protocol ⋮ Folding left and right matters: Direct style, accumulators, and continuations ⋮ On building cyclic and shared structures in Haskell ⋮ Fantastic morphisms and where to find them. A guide to recursion schemes ⋮ A simple division-free algorithm for computing determinants ⋮ Basic interaction mechanisms of active objects in digital systems and possible methods of their technical realization
Uses Software
This page was built for publication:
