An Introduction to the PL/CV2 Programming Logic

Inhaltsverzeichnis

• The language.
• Logical syntax.
• The logic.
• Proof rules.
• Programming.
• Rules for program statements.
• Procedures.
• Procedure rules.
• Functions.
• Function Rules.