On computing the semi-sum of two integers

DOI10.1016/S0020-0190(03)00263-1MaRDI QIDQ1014396zbMATH OpenWikidataFDO

Authors Salvatore Ruggieri

Publication date 28 April 2009

Published in Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

formal methodsprogram derivation

Mathematics Subject Classification ID

Theory of software (68N99)

Cited in

(1)

• Compact Difference Bound Matrices

Describes a project that uses

Uses Software

• C4.5

This page was built for publication: On computing the semi-sum of two integers

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