Monash University > School of Computer Science and Software Engineering > CSE2303 > Useful Links

CSE2303 Formal Methods I
Semester 1, 2005
Useful Links

More course information

  • CSSE unit offerings.
  • CSSE Semester 1 timetable.
  • Allocate+.

    • Unix

  • Unix Prac System (if you have an AuthCate account), (if you do not have an AuthCate account).
  • Simple UNIX commands
  • A course on UNIX
  • Unix tutorials
  • More Unix tutorials

    • C

  • Brian W. Kernighan: Programming in C: A Tutorial
  • A. D. Marshall: Programming in C. UNIX System Calls and Subroutines using C
  • Examples of obfuscated C code
  • The International Obfuscated C Code Contest (IOCCC) Home Page

    • Regular Expressions

  • Using Regular Expressions.
  • A Tao of Regular Expressions.

    • Flex/Lex and Bison/Yacc

  • Flex and Bison (includes a link to source for Flex and Bison for the WIN32 platform)
  • ANSI-C grammar: lex specification and yacc grammar
  • The Lex and Yacc Page
  • A compact guide to Lex and Yacc
  • Another guide to Lex and Yacc
  • Free Compiler Construction Tools: Lexers, Parser Generators, Optimizers

    • Logic

  • Introduction to Propositional Logic
  • Wumpus World
  • Prolog Tutorial
  • Another Prolog tutorial
  • SWI-Prolog
  • Prolog Toy Interpreter

    • Tools

  • Adobe's Acrobat PDF Viewer
  • Download Ghostscript, Ghostview and GSview Postscript Viewers

    • Other Sites

  • Cygwin
  • Linux Software
  • Windows Software

    • [ Top | Home ]

    Last modified 2/5/2005