scientific article; zbMATH DE number 2090019

zbMath1073.68570MaRDI QIDQ4808686

Kevin Backhouse, Roland C. Backhouse

Publication date: 12 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2386/23860023.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Galois correspondences, closure operators (in relation to ordered sets) (06A15)

Related Items (1)

Extracting Program Logics From Abstract Interpretations Defined by Logical Relations

This page was built for publication: