scientific article
From MaRDI portal
Publication:2721101
zbMath0963.68500MaRDI QIDQ2721101
Robert Glück, Sergey A. Abramov
Publication date: 1 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (6)
Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants ⋮ Reversible computing from a programming language perspective ⋮ Unnamed Item ⋮ A categorical foundation for structured reversible flowchart languages: Soundness and adequacy ⋮ The narrowing-driven approach to functional logic program specialization ⋮ Merging Hierarchically-Structured Documents in Workflow Systems
Uses Software
This page was built for publication: