01.Blogs :
dawn3a  

Programming - On Program Correctness

I just came out - I must mention, "barely alive" - from an "argument" with a student of mine.  The point of argument is on program correctness. 

He asked:  Why did I give him a low grade for his exam when his program produced the correct outputs. 

My point:  He did not use the Stack data structure properly. 

He argues:  But it worked!  (Poor guy... too bad, he's in MY class...)  

I can't stress well enough that it is not just about producing the correct outputs... it is producing the CORRECT program... 

But, it also got me thinking now... What exactly is a CORRECT program? 

Your thoughts please... :)

 

posted on Friday, December 16, 2005 7:16 PM by dawn3a

# re: Programming - On Program Correctness @ Friday, December 16, 2005 7:22 AM

On the job, his solution however implemented as long as the result is as expected would be fine but its different when you're in a classroom, concepts that are being taught must be use in a correct manner, period. The student must realize that in a classroom setting that the output is just secondary to how it is implemented (but like I said, on the job, its the other way around). A further example on the differences of "reality" vs. the classroom setting is, we're used to be told in class that copying somebodys work was BAD and you shall not earn merit in doing so and that we should always be ORIGINAL, while its funny how in the work place and as best practices always purports -we should REUSE, REUSE and REUSE, don't reinvent the wheel! Oh what a paradox.

TuldokLambat

# re: Programming - On Program Correctness @ Friday, December 16, 2005 6:46 PM

if it's the other way around, the code structure was correct, but there's no output or the output's incorrect - this happens to me most of the time.

Aids

# re: Programming - On Program Correctness @ Saturday, December 17, 2005 5:35 AM

A correct program for me is something that complies with the requirement it is specified to accomplish. This requirement would be relative to the context of usage of the program, whether for academic or business purposes.

JoEmZ08

# re: Programming - On Program Correctness @ Saturday, December 17, 2005 11:42 AM

to add, a correct program is a program that gives no BS, plainly, it works first and foremost, modifications and beautifications on the code follows next.

Aids


 
03.UPDATE CALENDAR :
<December 2005>
SunMonTueWedThuFriSat
27282930123
45678910
11121314151617
18192021222324
25262728293031
1234567

05.MY LINKS :

07.Subscriptions :

Subscriptions


© Copyright 2005 Microsoft Corporation. All Rights Reserved.
Terms of Use | Privacy Statement | Code of Conduct | Hosted by MaximumASP for Microsoft
WHO-BAR