scientific article; zbMATH DE number 1638668

MaRDI QIDQ2736366zbMATH OpenFDO

Authors Geoffrey L. Burn

Publication date 29 August 2001

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(2)

• A safe approach to parallel combinator reduction
• Inverse image analysis generalises strictness analysis

Describes a project that uses

Uses Software

• Miranda

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 Q2736366)