Expressions of Change

☰

    Static Analysis

    In this project, we put changes to computer programs more central in the programming experience. As a result, the ability to do static analyses is lifted from single programs to the full dimension of any program’s construction.

     

  1. Introduction

    In this project, we put changes to computer programs more central in the programming experience. As a result, the ability to do static analyses is lifted from single programs to the full dimension of any program’s construction. This has some useful applications, which are demonstrated in a series of articles.

  2. L - A toy language

    Before turning our attention to static analysis we need to define the semantics of the programs under consideration. We do so by describing a small language called L.

  3. Form Analysis

    A first step in the static analysis of our language L is to identify the various special forms as they occur in the s-expression that is our program.