Bit-vector typestate analysis

DOI10.1145/3595299MaRDI QIDQ6611957

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

Publication date: 27 September 2024

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

zbMATH Keywords

static analysistypestatescode contracts

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

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

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)