scientific article
From MaRDI portal
Publication:3709872
zbMath0585.68032MaRDI QIDQ3709872
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)
Related Items (9)
A safe approach to parallel combinator reduction ⋮ Strictness analysis and denotational abstract interpretation ⋮ Flow analysis of lazy higher-order functional programs ⋮ Compositional characterization of observable program properties ⋮ Sound Bit-Precise Numerical Domains ⋮ Two-level semantics and abstract interpretation ⋮ Internal and External Logics of Abstract Interpretations ⋮ A new abstraction framework for affine transformers ⋮ Extracting Program Logics From Abstract Interpretations Defined by Logical Relations
This page was built for publication:
