15-122 Principles of Imperative Computation
Resources

C0 Language

• C0 home page
• c0-mode for the Emacs editor
  (also works in Aquamacs and Carbon Emacs)
• vimrc file for the vim editor
  (see vim-readme.txt)

C Language

Fall 2012 new lineks

• C Language Libraries
  • C string library <string.h>
• From C0 to C: Basics tutorial
• POSIX library standard -- Unix standard library definitions including a library search functionality

Older links

• C Language Tutorial -- one of many C tutorials on the Internet
• The C Library Reference Guide -- a reference on the C language and its standard library
• comp.lang.c Frequently Asked Questions -- a FAQ covering many of C's dark corners and idiosyncrasies
• CERT Secure Coding Standards -- rules and recommendations on how to avoid ill-undefined behaviors


• ISO/IEC 9899 Committee Draft -- the C99 standard
• GCC 4.3.5 manual, Implementation-defined behavior -- documentation of implementation-defined behaviors in Andrew's version of GCC


• POSIX library standard -- Unix standard library definitions including a library search functionality

Prior course instances

• Summer 2012 (Jamie Morgenstern)
• Spring 2012 (Andre Platzer and Ananda Gunawardena)
• Fall 2011 (Viktor Adamchik and Ananda Gunawardena)
• Summer 2011 (William Lovas)
• Spring 2011 (Frank Pfenning)
• Fall 2010 (Frank Pfenning)

Exams From Prior Semesters

• Midterm 1
  • Fall 2010 (sample sol)
  • Spring 2011 (sample sol)
  • Fall 2011 (sample sol)
  • Spring 2012 (sample sol)
• Midterm 2
  • Fall 2010 (sample sol)
  • Spring 2011 (sample sol)
  • Fall 2011 (sample sol)
  • Spring 2012 (sample sol)
• Final
  • Fall 2010 (sample sol)
  • Spring 2011 (sample sol)
  • Fall 2011 (sample sol)
  • Spring 2012 (sample sol)

[ Home | Schedule | Assignments | Resources ]
[ Piazza | Blackboard ]

fp@cs
Frank Pfenning