Proof of Correctness of Decision Table Programs

DOI10.1093/COMJNL/27.3.230zbMath0536.68008OpenAlexW2116222942MaRDI QIDQ3321425

Art Lew

Publication date: 1984

Published in: The Computer Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/comjnl/27.3.230

zbMATH Keywords

bubble sort algorithmprogram construct

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Fuzzy decision tables for expert systems ⋮ \(N\) degrees of separation: Influences of dynamic programming on computer science

This page was built for publication: Proof of Correctness of Decision Table Programs