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
–
0.14 Mb