scientific article
From MaRDI portal
zbMath0599.68011MaRDI QIDQ3735054
No author found.
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items
A safe approach to parallel combinator reduction, Strictness analysis and denotational abstract interpretation, Flow analysis of lazy higher-order functional programs, Projections for polymorphic strictness analysis, Inverse image analysis generalises strictness analysis
