scientific article

From MaRDI portal

Publication:3664406

Jump to:navigation, search

zbMath0516.68012MaRDI QIDQ3664406

Flemming Nielson, Alan Mycroft

Publication date: 1983

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

zbMATH Keywords

partial functions program transformation program verification data flow analysis call-by-value call-by-name non-termination program optimisation

Mathematics Subject Classification ID

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

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:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3664406&oldid=17132557"