next up previous contents
Next: Logic and Proof Up: Michaelmas Term 1998: Part Previous: Concurrent Systems

Unix Tools

Lecturer: Dr A.C. Norman (acn1@cl.cam.ac.uk)

No. of lectures: 4

Overview and basics.
Expected impact of this course on future CST practical work and the evaluation criteria applied to it. The Unix philosophy and history. Streams, redirection, pipes. Ways to identify information (wildcards, find, grep and the use of regular expressions). Influence of Unix tools on the non-Unix world.

Tools to support development and testing.
Makefiles and parameter substitution. Important shell facilities including job control, nice and history-substitution.

Data manipulation tools
sed, tr, diff. Why these may be useful.

Scripting with perl
and hence more advanced linkage between tool components.

Recommended books:


Gilly, D. (1992). UNIX in a Nutshell. O'Reilly (2nd ed.).

Schwartz, R.L. & Christiansen, T. (1997). Learning Perl. O'Reilly (2nd ed.).



Christine Northeast
1998-10-01