Axiomatic semantics specifies each statement of a language in terms o – McqOptions

MCQOPTIONS

1.	Axiomatic semantics specifies each statement of a language in terms of asemis
A.	predicate translation
B.	predicate transformer
C.	predicate q
D.	none of this
Answer» C. predicate q

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 using namespace std; int main() { float a='a'; cout
…………………means combine available symbol to create well formed sentences in the language