# HG changeset patch # User Christian Urban # Date 1443131530 -3600 # Node ID bc03ff3d347c59ab4beebb4c580e3adb8c44ad36 # Parent 9470cd1246671f2127e4757a7261ffbffe1f02b4 updated diff -r 9470cd124667 -r bc03ff3d347c coursework/cw01.pdf Binary file coursework/cw01.pdf has changed diff -r 9470cd124667 -r bc03ff3d347c coursework/cw01.tex --- a/coursework/cw01.tex Thu Sep 24 15:58:48 2015 +0100 +++ b/coursework/cw01.tex Thu Sep 24 22:52:10 2015 +0100 @@ -6,7 +6,7 @@ \section*{Coursework 1 (Strand 1)} -This coursework is worth 5\% and is due on 13 October at 16:00. You +This coursework is worth 5\% and is due on 16 October at 16:00. You are asked to implement a regular expression matcher and submit a document containing the answers for the questions below. You can do the implementation in any programming language you like, but you need diff -r 9470cd124667 -r bc03ff3d347c coursework/cw02.pdf Binary file coursework/cw02.pdf has changed diff -r 9470cd124667 -r bc03ff3d347c coursework/cw02.tex --- a/coursework/cw02.tex Thu Sep 24 15:58:48 2015 +0100 +++ b/coursework/cw02.tex Thu Sep 24 22:52:10 2015 +0100 @@ -7,7 +7,7 @@ \section*{Coursework 2 (Strand 1)} \noindent -This coursework is worth 5\% and is due on 3 November at 16:00. You +This coursework is worth 5\% and is due on 6 November at 16:00. You are asked to implement the Sulzmann tokeniser for the WHILE language. You need to submit a document containing the answers for the questions below. You can do the implementation in any programming language you diff -r 9470cd124667 -r bc03ff3d347c coursework/cw03.pdf Binary file coursework/cw03.pdf has changed diff -r 9470cd124667 -r bc03ff3d347c coursework/cw03.tex --- a/coursework/cw03.tex Thu Sep 24 15:58:48 2015 +0100 +++ b/coursework/cw03.tex Thu Sep 24 22:52:10 2015 +0100 @@ -7,7 +7,7 @@ \section*{Coursework 3 (Strand 1)} \noindent -This coursework is worth 5\% and is due on 28 November at 16:00. You +This coursework is worth 5\% and is due on 27 November at 16:00. You are asked to implement a parser for the WHILE language and also an interpreter. You should use the lexer from the previous coursework for the parser. diff -r 9470cd124667 -r bc03ff3d347c coursework/cw04.pdf Binary file coursework/cw04.pdf has changed diff -r 9470cd124667 -r bc03ff3d347c coursework/cw04.tex --- a/coursework/cw04.tex Thu Sep 24 15:58:48 2015 +0100 +++ b/coursework/cw04.tex Thu Sep 24 22:52:10 2015 +0100 @@ -6,7 +6,7 @@ \section*{Coursework 4 (Strand 1)} -\noindent This coursework is worth 10\% and is due on 12th +\noindent This coursework is worth 10\% and is due on 11 December at 16:00. You are asked to implement a compiler for the WHILE language that targets the assembler language provided by Jasmin. This assembler is available from diff -r 9470cd124667 -r bc03ff3d347c coursework/cw05.pdf Binary file coursework/cw05.pdf has changed diff -r 9470cd124667 -r bc03ff3d347c coursework/cw05.tex --- a/coursework/cw05.tex Thu Sep 24 15:58:48 2015 +0100 +++ b/coursework/cw05.tex Thu Sep 24 22:52:10 2015 +0100 @@ -6,7 +6,7 @@ \section*{Coursework (Strand 2)} -\noindent This coursework is worth 25\% and is due on 12 +\noindent This coursework is worth 25\% and is due on 11 December at 16:00. You are asked to prove the correctness of a regular expression matcher from the lectures using the Isabelle theorem prover. You need to submit a theory file diff -r 9470cd124667 -r bc03ff3d347c handouts/ho01.pdf Binary file handouts/ho01.pdf has changed diff -r 9470cd124667 -r bc03ff3d347c handouts/ho02.pdf Binary file handouts/ho02.pdf has changed diff -r 9470cd124667 -r bc03ff3d347c handouts/ho03.pdf Binary file handouts/ho03.pdf has changed diff -r 9470cd124667 -r bc03ff3d347c handouts/ho04.pdf Binary file handouts/ho04.pdf has changed diff -r 9470cd124667 -r bc03ff3d347c handouts/ho05.pdf Binary file handouts/ho05.pdf has changed diff -r 9470cd124667 -r bc03ff3d347c handouts/ho06.pdf Binary file handouts/ho06.pdf has changed diff -r 9470cd124667 -r bc03ff3d347c handouts/notation.pdf Binary file handouts/notation.pdf has changed diff -r 9470cd124667 -r bc03ff3d347c handouts/scala-ho.pdf Binary file handouts/scala-ho.pdf has changed diff -r 9470cd124667 -r bc03ff3d347c hws/hw01.pdf Binary file hws/hw01.pdf has changed diff -r 9470cd124667 -r bc03ff3d347c hws/hw02.pdf Binary file hws/hw02.pdf has changed diff -r 9470cd124667 -r bc03ff3d347c hws/hw03.pdf Binary file hws/hw03.pdf has changed diff -r 9470cd124667 -r bc03ff3d347c hws/hw04.pdf Binary file hws/hw04.pdf has changed diff -r 9470cd124667 -r bc03ff3d347c hws/hw05.pdf Binary file hws/hw05.pdf has changed diff -r 9470cd124667 -r bc03ff3d347c hws/hw06.pdf Binary file hws/hw06.pdf has changed diff -r 9470cd124667 -r bc03ff3d347c hws/hw07.pdf Binary file hws/hw07.pdf has changed diff -r 9470cd124667 -r bc03ff3d347c hws/hw08.pdf Binary file hws/hw08.pdf has changed diff -r 9470cd124667 -r bc03ff3d347c hws/hw09.pdf Binary file hws/hw09.pdf has changed diff -r 9470cd124667 -r bc03ff3d347c hws/proof.pdf Binary file hws/proof.pdf has changed diff -r 9470cd124667 -r bc03ff3d347c slides/slides01.pdf Binary file slides/slides01.pdf has changed diff -r 9470cd124667 -r bc03ff3d347c slides/slides01.tex --- a/slides/slides01.tex Thu Sep 24 15:58:48 2015 +0100 +++ b/slides/slides01.tex Thu Sep 24 22:52:10 2015 +0100 @@ -687,10 +687,10 @@ \begin{itemize} \item four programming subtasks: \begin{itemize} -\item matcher (5\%, 13.10.) -\item lexer (5\%, 03.11.) +\item matcher (5\%, 16.10.) +\item lexer (5\%, 06.11.) \item parser (5\%, 27.11.) -\item compiler (10\%, 12.12.) +\item compiler (10\%, 11.12.) \end{itemize} \end{itemize} \end{column} @@ -700,7 +700,7 @@ \underline{\bf Strand 2}\smallskip\begin{itemize} \item one task: prove the correctness of a regular expression matcher in the Isabelle theorem prover -\item 25\%, submission 12.12. +\item 25\%, submission 11.12. \end{itemize} \end{column} \end{columns}\medskip diff -r 9470cd124667 -r bc03ff3d347c slides/slides02.pdf Binary file slides/slides02.pdf has changed diff -r 9470cd124667 -r bc03ff3d347c slides/slides03.pdf Binary file slides/slides03.pdf has changed diff -r 9470cd124667 -r bc03ff3d347c slides/slides04.pdf Binary file slides/slides04.pdf has changed diff -r 9470cd124667 -r bc03ff3d347c slides/slides05.pdf Binary file slides/slides05.pdf has changed diff -r 9470cd124667 -r bc03ff3d347c slides/slides06.pdf Binary file slides/slides06.pdf has changed diff -r 9470cd124667 -r bc03ff3d347c slides/slides07.pdf Binary file slides/slides07.pdf has changed diff -r 9470cd124667 -r bc03ff3d347c slides/slides08.pdf Binary file slides/slides08.pdf has changed diff -r 9470cd124667 -r bc03ff3d347c slides/slides09.pdf Binary file slides/slides09.pdf has changed diff -r 9470cd124667 -r bc03ff3d347c slides/slides10.pdf Binary file slides/slides10.pdf has changed