Programming Help for SPIN Programming Language

Introduction to SPIN Programming Language

The SPIN Programming Language is a high Level programming Language and Interpreted Language. It is look like a mix of BASIC and Python. It is commonly used because of two reason it is to use easy and there's a spin interpreter on the Prop.

The blocks in which the codes of Spin Language are organized in blocks:

• VAR Holds global variables
• CON Holds program constants
• PUB & PRI Hold code
• OBJ Links to other objects

Example of SPIN Programming Language

proctype A(chan q1)
        {       chan q2;
                q1?q2;
                q2!123
        }

        proctype B(chan qforb)
        {       int x;
                qforb?x;
                printf("x = %d\n", x)
        }

        init {
                chan qname = [1] of { chan };
                chan qforb = [1] of { int };
                run A(qname);
                run B(qforb);
                qname!qforb
        }

The output of the program is 123

How to learn SPIN Programming Language

Videos for learning Pascal Programming Language:

• Using a Spin Edit (Number Selector) with No Programming Code R

Download SPINC from Here !!