Model Checking Via ΓCFA

DOI10.1007/978-3-540-69738-1_4zbMath1132.68475OpenAlexW1582664260MaRDI QIDQ5452596

Matthew Might, Olin Shivers, Benjamin Chambers

Publication date: 4 April 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-69738-1_4

zbMATH Keywords

static analysishigher-order languagesAbstract interpretationabstract countingabstract garbage collection\(\Gamma \)CFA

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Access Analysis-Based Tight Localization of Abstract Memories

This page was built for publication: Model Checking Via ΓCFA