On program correctness and teaching programming
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.
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Vladimir Andrunachievici Institute of Mathematics and Computer Science
1997-10-01
|
| Series: | Computer Science Journal of Moldova |
| Online Access: | http://www.math.md/nrofdownloads.php?file=/files/csjm/v5-n3/v5-n3-(pp250-260).pdf |