Homework Project Readings Schedule Syllabus Lecture 2: Semantics via Interpreters In Lecture 1, we learned that any formalization of a programming language has two components: Syntax defines what ...

To support syntax-directed, or modular, program development and analysis a semantics needs to be compositional. In addition to its role in validating program correctness, semantics can provide a firm ...

Each PLAN program and expression evaluates to an integer value. The semantics of a program are defined as follows: The entire program (prog Expr ) evaluates to whatever Expr evaluates to. (myif Expr ...

We present an algorithm for specifying and sampling from distributions over programs via a perturb-max approximation. Prior work is generally limited to sampling from priors over program syntax (for ...

The aim of this paper is to specify synthetically elements for a syntax and semantics of a language proper to program the operational procedures. These preferred symbols and definitions are not ...

We propose a new approach to program repair based on program distances, which can quantify changes not only to the program syntax but also to the program semantics. We call this the quantitative ...

The term comes from early computing days when an actual bug (a moth, in fact) flew into and damaged one of the first comptuers, the Mark II (Wikipedia) Bugs are typically errors in the source code ...