scientific article

From MaRDI portal

Publication:3718128

Jump to:navigation, search

zbMath0589.68008MaRDI QIDQ3718128

Flemming Nielson

Publication date: 1986

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

zbMATH Keywords

correctness denotational semantics Abstract interpretation compile-time entities run-time entities data flow analyses denotational metalanguage

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Related Items (6)

Two-level semantics and code generation ⋮ Strictness analysis and denotational abstract interpretation ⋮ Two-level semantics and abstract interpretation ⋮ Strictness analysis via abstract interpretation for recursively defined types ⋮ 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:3718128&oldid=17222773"