RO  EN
IMCS/Publications/CSJM/Issues/CSJM v.5, n.3 (15), 1997/

On program correctness and teaching programming

Authors: M.Frentiu

Abstract

First, a short survey on program correctness is given. Then, some consequences of this theory, given as important rules in the programming activity, are presented.

Militon Frentiu,
"Babes-Bolyai" University,
Faculty of Mathematics and Informatics,
1, M.Kogalniceanu str., Cluj-Napoca
3400, Romania.
phone: 40-64-194315
e-mail:

Fulltext

Adobe PDF document0.14 Mb