Publication:3761674
From MaRDI portal
zbMath0623.68014MaRDI QIDQ3761674
Publication date: 1987
denotational semantics; strictness analysis; Scott open set; first-order functional program; lazy data structures
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Inverse image analysis generalises strictness analysis, Two-level semantics and abstract interpretation