Research Group 1: Automation of Logic
max planck institut
informatik
Lecture "Advanced C Programming" - Literature
Reformatted slides
Lecture 1, 10/21/2008:
Slides [pdf]
Lecture 2, 10/28/2008:
Slides [pdf]
, Examples:
list.h
list.c
.
Caution:
this module will not compile properly, it is just useful to illustrate the documentation and coding style concepts from the lecture.
Lecture 3, 11/04/2008:
Slides [pdf]
, Examples:
const.c
,
volatile.c
,
restrict.c
Lecture 4, 11/11/2008:
Slides [pdf]
Lecture 5, 11/18/2008:
Slides [pdf]
Lecture 6, 11/25/2008:
Slides [pdf]
Lecture 7, 12/02/2008:
Slides [pdf]
Lecture 8, 12/09/2008:
Slides [pdf]
Lecture 9, 12/16/2008:
Slides [pdf]
Lecture 10, 01/06/2009:
Slides [pdf]
Lecture 11, 01/13/2009:
Slides [pdf]
Lecture 12, 01/20/2009:
Slides [pdf]
Lecture 13, 01/27/2009:
Slides [pdf]
, here are some example graphs
[ZIP]
, for the graphs you need the following
tool
Lecture 14, 02/03/2009:
Slides [pdf]
, Guest Lecture by Markus Thiele
Lecture 15, 02/10/2009:
Slides [pdf]
Books
Harbison & Steele
C - A Reference Manual
, fifth edition
Prentice Hall
Darnell & Margolis
C - A Software Engineering Approach
, third edition
Springer
Prata
C Primer Plus
, fifth edition
Sams
Maguire
Writing Solid Code
Microsoft Press
Jameson
Multi-Platform Code Management
O'Reilly & Associates, Inc.
Further material
X-Emacs Reference Card
[pdf]
Vim Reference Card
[pdf]
C related links
C99 Standard
C99 Design Rationale
SAT related links
SAT Problems
SAT Competition
Satisfiability Suggested Format
A
dvanced C Programming:
Le
c
turers
S
tart
W
hen and Where
C
ontent
P
rerequisites
E
xercises
Literat
u
re
Reg
i
stration
G
rading