15-122 Principles of Imperative Computation, Summer 1 2015

Resources

Linux and text editors

• C0 at CMU (includes general instructions about setting up the Andrew Linux environment to use C0)
• Cygwin: The Linux Terminal for Windows (setup guide, made by Andrew Benson)
• Linux Commands Reference Card
• Emacs Basics
• Game for learning emacs shortcuts
• Emacs Help Guide

C0 Language

• C0 Language Reference
• C0 Tutorial
• Debugging C0 Programs

C Language

• 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

Style Guides

• Style Guide for C0 and C

Testing Guides

• Unit Testing

Videos

• Unbounded arrays
  1. The k-bit counter (10min)
  2. Amortized analysis (15min)

Exams from prior semesters

• Midterm 1
  • Fall 2012 (Sample Solution)
  • Fall 2014 (Sample Solution)
  • Spring 2015 (Sample Solution)
• Midterm 2
  • Fall 2012 (Sample Solution)
  • Spring 2014 (Sample Solution)
  • Spring 2015 (Sample Solution)
• Final
  • Fall 2012 (Sample Solution)
  • Spring 2013 (Sample Solution)
  • Spring 2015 (Sample Solution)