bsc-projects-18.html
changeset 539 5eaec0f9980f
parent 538 42b0b9329c74
child 540 6633568ebc11
--- a/bsc-projects-18.html	Fri Sep 07 14:07:35 2018 +0100
+++ b/bsc-projects-18.html	Thu Sep 13 13:09:24 2018 +0100
@@ -169,6 +169,10 @@
   can be also used, but seem much less convenient. If you do attend my Compilers and Formal Languages
   module, that would obviously give you a head-start with this project.
   </p>
+
+<li> <H4>[CU5] Grammars and Derivative-Based Parsing Algorithms</H4>
+
+<A HREF="https://www.cl.cam.ac.uk/~jdy22/papers/a-typed-algebraic-approach-to-parsing.pdf">paper</A>  
   
 <li> <H4>[CU2] A Compiler for a small Programming Language</H4>
 
@@ -471,7 +475,7 @@
       </video>
     </center>  
 
-<li> <H4>[CU5] An Infrastructure for Displaying and Animating Code in a Web-Browser</H4>
+<li> <H4>[CU6] An Infrastructure for Displaying and Animating Code in a Web-Browser</H4>
   
 <p>
   <B>Description:</B>
@@ -499,7 +503,7 @@
   </p>
 
 
-<li> <H4>[CU6] Proving the Correctness of Programs</H4>
+<li> <H4>[CU7] Proving the Correctness of Programs</H4>
 
  <p>
  I am one of the main developers of the interactive theorem prover
@@ -533,7 +537,7 @@
   This project is for a very good student with a knack for theoretical things and formal reasoning.
   </p>
 
-<li> <H4>[CU7] Anything Security Related that is Interesting</H4>
+<li> <H4>[CU8] Anything Security Related that is Interesting</H4>
   
 <p>
 If you have your own project that is related to security (must be