"@ensures" in sample programs
|On Tuesday, I showed a function `max3_v1` whose postcondition was written as an `@ensures` tag in the comment above the function definition.|
However, as you may well know, the parser discards all the comments.
While this was an unintentional oversight, let us make lemonade out of it: try to think of a way to change the program, such that the annotation is still accessible from the AST, and in a way that will allow your implementation to locate it. There is no single right answer -- you can do it however you like.
The semantics of `@ensures` is that the postcondition has to hold at *all exit points* from the function (`return` or end of body).
|עדכון אחרון ב- 9/4/2021, 14:37:05 Last updated on 9/4/2021, 14:37:05 Последняя модификация 9/4/2021, 14:37:05 تمت الحتلنة الأخيرة ب- 9/4/2021, 14:37:05|
Zoom link updated
|We have updated the link to the lectures to a more secure one -- token-protected and not publicly visible.|
Visit the "syllabus" tab on the course website to see the new link (requires login).
|עדכון אחרון ב- 6/4/2021, 23:20:45 Last updated on 6/4/2021, 23:20:45 Последняя модификация 6/4/2021, 23:20:45 تمت الحتلنة الأخيرة ب- 6/4/2021, 23:20:45|
Welcome and Survey
Welcome to Project in FV!
As you are all aware, lectures during this semester will be given in class as well as online.
To better prepare for the upcoming semester, please fill out this short questionnaire: https://forms.gle/RBfCepdLEb8atyFd6
Be sure that this information is not going to be used in any way. It is only meant for administrative preparations.
All the best, and see you soon!
|עדכון אחרון ב- 30/3/2021, 15:40:37 Last updated on 30/3/2021, 15:40:37 Последняя модификация 30/3/2021, 15:40:37 تمت الحتلنة الأخيرة ب- 30/3/2021, 15:40:37|