Finite integer computations: An algebraic foundation for their correctness

DOI10.1007/s00165-006-0090-4zbMath1110.68027OpenAlexW2072253515WikidataQ56815153 ScholiaQ56815153MaRDI QIDQ2432238

Sabine Glesner

Publication date: 25 October 2006

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

Full work available at URL: https://doi.org/10.1007/s00165-006-0090-4

zbMATH Keywords

formal verificationinconsistencyIsabelle/HOLJava Cardconstant foldingchanging representation sizesfinite integer and residue class arithmeticJava and C arithmeticJava Card bytecode optimization

Mathematics Subject Classification ID

Uses Software

• Isabelle/HOL

This page was built for publication: Finite integer computations: An algebraic foundation for their correctness