Strictness analysis aids inductive proofs

DOI10.1016/0020-0190(90)90065-6zbMath0702.68082OpenAlexW2060001073MaRDI QIDQ915483

John Launchbury

Publication date: 1990

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(90)90065-6

zbMATH Keywords

projectionsretractsstrictness analysisadmissible predicates

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Proof theory in general (including proof-theoretic semantics) (03F03)

Cites Work

• Unnamed Item

This page was built for publication: Strictness analysis aids inductive proofs