Computer Sciences > GATE 2015 SET-1 > Program Correctness
Consider the following pseudo code, where x and y are positive integers.
The post condition that needs to be satisfied after the program terminates is
A
{r = qx + y ∧ r < y}
B
{x = qy + r ∧ r < y}
C
{y = qx + r ∧ 0 < r < y}
D
{q + 1 < r - y ∧ y > 0}

Correct : b

Similar Questions

A palindrome is a word that reads the same forwards and backwards. In a game of words, a player has the following two plates painted with letters. From...
#1 MCQ
Which number does not belong in the series below? 2, 5, 10, 17, 26, 37, 50, 64
#4 MCQ
Choose the word that is opposite in meaning to the word “coherent”.
#5 MCQ

Related Topics

No tags found

Unique Visitor Count

Total Unique Visitors

Loading......