Automaton-Based Array Initialization Analysis

DOI10.1007/978-3-642-28332-1_36zbMath1350.68180OpenAlexW2143576678MaRDI QIDQ2890215

Đurica Nikolić, Fausto Spoto

Publication date: 8 June 2012

Published in: Language and Automata Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-28332-1_36

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Inferring complete initialization of arrays

This page was built for publication: Automaton-Based Array Initialization Analysis