Predicate W is called as – McqOptions

MCQOPTIONS

1.	Predicate W is called as
A.	weakest precondition
B.	weakest postcondition
C.	both a & b
D.	none of this
Answer» B. weakest postcondition

Discussion

No Comment Found

Related MCQs

What will be the output of the following code?int main() { char ch; ch=129; printf("%d\n",ch); return 0; }
Any manipulation on the formal parameters doesn’t have effect on values in activation of the_____.
exception handling is for….
…………………..defines the meaning of the program.
………………….hints at characteristics of language , which are related to language user.
choose the correct? I)procedure is a kind of routine that return a value? II)functio is a kind of routine that dose no return any value?
The syntax of language id define by two sets…
Which of the following logic is used to produce loops in programme logic?1)A data object that is characterized and named unequivocally in a program is named as…………...
What will be the output of the following code? #include<iostream.h> using namespace std; int main() { float a='a'; cout<<a;return 0; }
…………………means combine available symbol to create well formed sentences in the language