Mathematics of Program Construction
From MaRDI portal
Publication:5313091
DOI10.1007/b98756zbMath1106.68345OpenAlexW2492557863MaRDI QIDQ5313091
Masato Takeichi, Shin-Cheng Mu, Zhenjiang Hu
Publication date: 26 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98756
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (8)
Reversibility in the higher-order \(\pi\)-calculus ⋮ From reversible programs to univalent universes and back ⋮ Reversible computation in term rewriting ⋮ Fundamentals of reversible flowchart languages ⋮ Reversible computing from a programming language perspective ⋮ A class of recursive permutations which is primitive recursive complete ⋮ A programmable editor for developing structured documents based on bidirectional transformations ⋮ Merging Hierarchically-Structured Documents in Workflow Systems
This page was built for publication: Mathematics of Program Construction
