A structured approach to static semantics correctness

DOI10.1016/0167-6423(83)90022-9zbMath0519.68015OpenAlexW1981773325MaRDI QIDQ1054459

J. Blot

Publication date: 1983

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(83)90022-9

zbMATH Keywords

type checkingstandard semanticscorrectness proof of static semantics

Mathematics Subject Classification ID

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

Related Items (3)

Strictness analysis and denotational abstract interpretation ⋮ Static semantics, types, and binding time analysis ⋮ Incorporating static analysis in a combinator-based compiler

This page was built for publication: A structured approach to static semantics correctness