scientific article; zbMATH DE number 5033839

zbMATH Open1098.68024MaRDI QIDQ5472878

Alcino Cunha, Jorge Sousa Pinto

Publication date: 19 June 2006

Title of this publication is not available (Why is that?)

zbMATH Keywords

equational reasoningFunctional programs

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (5)

Point-free substitution ⋮ Constraint-aware Schema Transformation ⋮ Transformation of structure-shy programs with application to XPath queries and strategic functions ⋮ A Framework for Point-Free Program Transformation ⋮ Denotation by Transformation

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5472878)