📊 Principles of Programming Languages
Q. Postcondition is
  • (A) predicate p required to hold after execution of statement s
  • (B) predicate q such that execution of s terminates & p holds upon termination
  • (C) either a or b
  • (D) both true
💬 Discuss
✅ Correct Answer: (A) predicate p required to hold after execution of statement s

You must be Logged in to update hint/solution

💬 Discussion

Related MCQs

Q. The raw material for mini steel plants is

Q. Which of the following welding process in which two pieces to be joined are overlapped and placed between two pointed electrodes?

Q. A warm gear is generally made of

Q. A packaged boiler is one in which various parts like firing equipment, fans, feed pumps and automatic controls are

Q. A square key is

Q. The lines of flux or force in a circularly magnetized ferromagnetic bar:

Q. The correct sequence of the processes taking place in a carnot cycle is

Q. In the context of rapid prototyping and additive manufacturing, tessellation refers to the process of slicing the CAD model of the part into layers.

Q. If the size of a standard specimen for a fatigue testing machine is increased, the endurance limit for the material will

Q. The pressure of steam generated in a boiler as recorded by the Bourdon pressure gauge was 2.2 kg/sq-cm. If the barometer reads 774 mm of mercury the a

📊 Question Analytics

👁️
777
Total Visits
📽️
2 y ago
Published
🎖️
Mr. Dubey
Publisher
📈
84%
Success Rate