Bit-vector typestate analysis

DOI10.1145/3595299MaRDI QIDQ6611957zbMATH OpenFDO

Authors Alen Arslanagić, Pavle Subotić, Jorge A. Pérez

Publication date 27 September 2024

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3595299

zbMATH Keywords

code contractsstatic analysistypestates

Mathematics Subject Classification ID

Computer science (68-XX)

Recommendations

• Type systems equivalent to data-flow analyses for imperative languages
• Typestate verification: abstraction techniques and complexity results
• scientific article; zbMATH DE number 2090861
• Types for Proofs and Programs
• scientific article; zbMATH DE number 1617328

Cites work

• An iterative method to solve a regularized model for strongly nonlinear long internal waves
• Precise interprocedural dataflow analysis with applications to constant propagation
• Static contract checking with abstract interpretation
• Typestate: A programming language concept for enhancing software reliability

This page was built for publication: Bit-vector typestate analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6611957)