tutorial

University of Hertfordshire University of AmsterdamSchool of Computer Science Institute of InformaticsSaC 1.0| Single Assignment C |TutorialSven-Bodo Scholz, Stephan Herhut,Frank Penczek, Clemens GrelckDecember 2010ContentsI Trails Covering the Basics of SaC 31 Running the rst program 41.1 A Checklist . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41.2 Create your rst SaC Source File . . . . . . . . . . . . . . . . . . 41.3 Compile the Source File and Run the Program . . . . . . . . . . 52 Array Programming Basics 62.1 Lesson: Arrays as Data . . . . . . . . . . . . . . . . . . . . . . . 62.1.1 De ning Arrays . . . . . . . . . . . . . . . . . . . . . . . . 62.1.2 Arrays and Variables . . . . . . . . . . . . . . . . . . . . . 92.2 Lesson: Shape-Invariant Programming . . . . . . . . . . . . . . . 112.2.1 Standard Array Operations . . . . . . . . . . . . . . . . . 112.2.2 Axis Control Notation . . . . . . . . . . . . . . . . . . . . 192.2.3 Putting it all Together . . . . . . . . . . . . . . . . . . . . 253 Basic Program Structure 283.1 Lesson: Functions and their Types . . . . . . . . . . . . . . . . . 283.1.1 Function De nitions . . . . . . . . . . . . . . . . . . . . . 283.1.2 Built-in Types . . . . . . . . . . . . . . . . . . . . . . . . 293.1.3 Subtyping . . . . . . . . . . . . . . . . . . . . . . . . . . . 303.1.4 Function Overloading . . . . . . . . . . . . . . . . . . . . 313.2 Lesson: F Bodies . . . . . . . . . . . . . . . . ...