scientific article
From MaRDI portal
Publication:3664406
zbMath0516.68012MaRDI QIDQ3664406
Flemming Nielson, Alan Mycroft
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
partial functionsprogram transformationprogram verificationdata flow analysiscall-by-valuecall-by-namenon-terminationprogram optimisation
Related Items (9)
Two-level semantics and code generation ⋮ A safe approach to parallel combinator reduction ⋮ Strictness analysis and denotational abstract interpretation ⋮ Two-level semantics and abstract interpretation ⋮ Strictness analysis via abstract interpretation for recursively defined types ⋮ The reduced relative power operation on abstract domains ⋮ Closures on CPOs form complete lattices ⋮ Type inference, abstract interpretation and strictness analysis ⋮ Semantics-directed program analysis: A tool-maker's perspective
This page was built for publication: