Lab 4

type MyType = seq of char;

type MyType : seq of char;

types MyType = seq of char;

types MyType : seq of char;

Faculty = <FSKTM> | <FEB>;

Faculty = <FSKTM, FEB>;

Faculty : <FSKTM> | <FEB>;

Faculty = {FSKTM, FEB};

nat

char

string

real

instance variable studentName : seq of char;

instance variables studentName : seq of char;

instance variable studentName : seq of char = "John Doe";

instance variables studentName = "John Doe";

sum(a, b) == post RESULT = a + b;

sum(a, b) == pre a > 0 and b > 0; post RESULT = a + b;

sum(a, b);

sum(a, b) == a + b;

Provide a full implementation of the computation.

Used when you need to sequence operations.

Use pre & post conditions to define expected behavior

Cannot have any conditions.

multiply(x, y) == post RESULT = x * y;

multiply(x, y) ==> x * y;

multiply(x, y) == x * y;

multiply(x, y) == pre x > 0 and y > 0; post RESULT = x * y;

Functions can have pre/postconditions, but operations cannot

Functions change the system state, while operations do not

Operations are used for mathematical calculations only

Operations can change the system state, while functions cannot