--- a/msc-projects-14.html Sun Nov 09 23:02:10 2014 +0000
+++ b/msc-projects-14.html Mon Nov 10 08:58:58 2014 +0000
@@ -44,7 +44,7 @@
necessary.” I am always happy to supervise like-minded students.</H4>
<ul class="striped">
-<li> <H4>[CU1] Regular Expression Matching and Derivatives</H4>
+<li> <H4>[CU1] Regular Expression Matching, Lexing and Derivatives</H4>
<p>
<B>Description:</b>
@@ -470,50 +470,7 @@
</center>
</p>
-<li> <H4>[CU6] Language Translator into JavaScript</H4>
-
- <p>
- <b>Description:</b>
- <A HREF="http://www.w3schools.com/js/">JavaScript</A> is a language that is supported by most
- browsers and therefore is a favourite
- vehicle for Web-programming. Some call it <B>the</B> scripting language of the Web.
- Unfortunately, JavaScript is probably one of the worst
- languages to program in (being designed and released in a hurry). <B>But</B> it can be used as a convenient target
- for translating programs from other languages. In particular there are two
- very optimised subsets of JavaScript that can be used for this purpose:
- one is <A HREF="http://asmjs.org">asm.js</A> and the other is
- <A HREF="https://github.com/kripken/emscripten/wiki">emscripten</A>.
- There is a <A HREF="https://github.com/kripken/emscripten/wiki/Tutorial">tutorial</A> for emscripten
- and an impressive <A HREF="http://www.unrealengine.com/html5/">demo</A> which runs the
- <A HREF="http://en.wikipedia.org/wiki/Unreal_Engine">Unreal Engine 3</A>
- in a browser with spectacular speed. This was achieved by compiling the
- C-code of the Unreal Engine to the LLVM intermediate language and then translating the LLVM
- code to JavaScript.
- </p>
-
- <p>
- <B>Skills:</B>
- This project is about exploring these two subsets of JavaScript and implement a translator
- of a small language into them. This is similar to the project [CU2] above and requires
- similar skills. In addition it would be good to have already some familiarity with JavaScript.
- There are plenty of <A HREF="http://www.w3schools.com/js/">tutorials</A> on the Web.
- <A HREF="http://jsbooks.revolunet.com">Here</A> is a list of free books on JavaScript.
- This is a project for a student who wants to get more familiar with JavaScript and Web-programming.
- A project from which you can draw inspiration is this
- <A HREF="http://jlongster.com/2012/01/04/outlet-my-lisp-to-javascript-experiment.html">List-to-JavaScript</A>
- translator. <A HREF="https://bitbucket.org/ktg/parenjs/overview">Here</A> is another such project.
- And <A HREF="https://github.com/viclib/liscript">another</A> in less than 100 lines of code.
- <A HREF="http://en.wikipedia.org/wiki/CoffeeScript">Coffeescript</A> is a similar project
- except that it is already quite <A HREF="http://coffeescript.org">mature</A>. And finally not to
- forget <A HREF="http://www.typescriptlang.org">TypeScript</A> developed by Microsoft. The main
- difference between these projects and this one is that they translate into relatively high-level
- JavaScript code; none of them use the much lower levels <A HREF="http://asmjs.org">asm.js</A> and
- <A HREF="https://github.com/kripken/emscripten/wiki">emscripten</A>.
-</p>
-
-
-
-<li> <H4>[CU7] 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>
@@ -541,7 +498,7 @@
</p>
-<li> <H4>[CU8] Implementation of a Distributed Clock-Synchronisation Algorithm developed at NASA</H4>
+<li> <H4>[CU7] Implementation of a Distributed Clock-Synchronisation Algorithm developed at NASA</H4>
<p>
<B>Description:</B>
@@ -573,7 +530,7 @@
are some examples that explain how to implement exchanging messages between actors.
</p>
-<li> <H4>[CU9] Proving the Correctness of Programs</H4>
+<li> <H4>[CU8] Proving the Correctness of Programs</H4>
<p>
I am one of the main developers of the interactive theorem prover
@@ -623,7 +580,7 @@
</TABLE>
<P>
-<!-- hhmts start --> Last modified: Sun Nov 9 23:00:48 GMT 2014 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Mon Nov 10 08:58:53 GMT 2014 <!-- hhmts end -->
<a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
</BODY>
</HTML>