updated and added pascal.while file draft
authorChristian Urban <christian.urban@kcl.ac.uk>
Wed, 21 Feb 2024 09:14:12 +0000
changeset 958 6caee1c0222e
parent 957 03c5a8987141
child 959 787ef75ec006
updated and added pascal.while file
cws/cw01.pdf
cws/cw02.pdf
cws/cw03.pdf
cws/cw04.pdf
cws/cw04.tex
cws/cw05.pdf
cws/cw05.tex
cwtests/cw05/fact.fun
cwtests/cw05/fact2.fun
hws/hw07.tex
progs/catastrophic/catastrophic9.java
progs/fun/fun_llvm.sc
progs/lexer/lex.sc
progs/parser-combinators/comb1.sc
slides/slides10.pdf
slides/slides10.tex
Binary file cws/cw01.pdf has changed
Binary file cws/cw02.pdf has changed
Binary file cws/cw03.pdf has changed
Binary file cws/cw04.pdf has changed
--- a/cws/cw04.tex	Sat Dec 02 21:37:04 2023 +0000
+++ b/cws/cw04.tex	Wed Feb 21 09:14:12 2024 +0000
@@ -103,7 +103,7 @@
 below as a slightly different syntax.
 
 
-\subsection*{Krakatau Assembler}
+\subsection*{Krakatau Assembler (Version 1 \& 2)}
 
 The Krakatau assembler is available from
 
@@ -119,11 +119,11 @@
 \end{center}
 
 \noindent This assembler is largely compatible with the Jasmin
-syntax---that means for the files we are concerned with here,
-it understands the same input syntax (no changes to your
-compiler need to be made; ok maybe some small syntactic
-adjustments are needed). You can generate Java Byte Code by
-using 
+syntax---that means for the files we are concerned with here, it
+understands the same input syntax (no changes to your compiler need to
+be made; ok maybe some small syntactic adjustments are needed, for
+example labels need to start with a capital '\texttt{L}'). You can generate Java
+Byte Code by using
 
 \begin{center}
 \texttt{python Krakatau-master/assemble.py loops.j}
@@ -161,16 +161,16 @@
 
 \subsection*{Question 1}
 
-You need to lex and parse WHILE programs, and then generate
-Java Byte Code instructions for the Jasmin assembler (or
-Krakatau assembler). As solution you need to submit the
-assembler instructions for the Fibonacci and Factorial
-programs. Both should be so modified that a user can input on
-the console which Fibonacci number and which Factorial should
-be calculated. The Fibonacci program is given in
-Figure~\ref{fibs}. You can write your own program for
-calculating factorials. Submit your assembler code as
-a file that can be run, not as PDF-text.
+You need to lex and parse WHILE programs, and then generate Java Byte
+Code instructions for the Jasmin assembler (or Krakatau
+assembler). For this you should use the ASTs defined in CW3 (including
+logical operators). As part of the solution you need to submit the assembler
+instructions for the Fibonacci and Factorial programs. Both should be
+so modified that a user can input on the console which Fibonacci
+number and which Factorial should be calculated. The Fibonacci program
+is given in Figure~\ref{fibs}. You can write your own program for
+calculating factorials. Submit your assembler code as a file that can
+be run, not as PDF-text.
 
 \begin{figure}[t]
 \lstinputlisting[language=while]{../cwtests/cw04/fib.while}
@@ -255,8 +255,8 @@
 
 Extend the lexer and parser to add a \textcolor{codepurple}{\pcode{break}} keyword.  Modify
 the compiler (including lexer and parser) such that when a \textcolor{codepurple}{\texttt{break}}-statement is encountered
-the code should jump out of the ``enclosing'' for-loop, or in case it
-is not inside a for-loop to the end of the program. For example the
+the code should jump out of the ``enclosing'' for/while-loop, or in case it
+is not inside such a loop to the end of the program. For example the
 program
 
 \begin{center}
@@ -286,7 +286,7 @@
 should print out 0 to 10 with the first for-loop, but only 0
 to 4 in the second. Similarly it should print out \code{"Should print"},
 but not \code{"Should not print"}. For this you need to add
-a label to the end of every for-loop and also to the end of the
+a label to the end of every for- and while-loop and also to the end of the
 whole program just in case you need to jump to that label via a
 \code{break}. The file you need to be able to process for this question
 is called \texttt{break.while}.
Binary file cws/cw05.pdf has changed
--- a/cws/cw05.tex	Sat Dec 02 21:37:04 2023 +0000
+++ b/cws/cw05.tex	Wed Feb 21 09:14:12 2024 +0000
@@ -9,27 +9,27 @@
 \begin{document}
 
 
-\color{pansypurple}
-\section*{RESIT / REPLACEMENT}
+%\color{pansypurple}
+%\section*{RESIT / REPLACEMENT}
 
-{\bf
-The resit / replacement task is essentially CW5 (listed below) with
-the exception that the lexer and parser is already provided. The
-parser will generate an AST (see file \texttt{fun\_llvm.sc}). Your task
-is to generate an AST for the K-intermediate language and supply
-sufficient type annotations such that you can generate valid code for
-the LLVM-IR. The submission deadline is 4th August at 16:00. At the
-deadline, please send me an email containing a zip-file with your
-files.
-Feel free to reuse the files I have uploaded on KEATS (especially
-the files generating simple LLVM-IR code). Of help might also be the
-videos of Week~10.\bigskip
-
-\noindent
-Good Luck!}\smallskip\\
-\noindent
-Christian
-\color{black}
+%{\bf
+%The resit / replacement task is essentially CW5 (listed below) with
+%the exception that the lexer and parser is already provided. The
+%parser will generate an AST (see file \texttt{fun\_llvm.sc}). Your task
+%is to generate an AST for the K-intermediate language and supply
+%sufficient type annotations such that you can generate valid code for
+%the LLVM-IR. The submission deadline is 4th August at 16:00. At the
+%deadline, please send me an email containing a zip-file with your
+%files.
+%Feel free to reuse the files I have uploaded on KEATS (especially
+%the files generating simple LLVM-IR code). Of help might also be the
+%videos of Week~10.\bigskip
+%
+%\noindent
+%Good Luck!}\smallskip\\
+%\noindent
+%Christian
+%\color{black}
 
 
 \section*{Coursework 5}
@@ -40,7 +40,7 @@
 16:00. You are asked to implement a compiler targeting the LLVM-IR.
 Be careful that this CW needs some material about the LLVM-IR
 that has not been shown in the lectures and your own experiments
-might be required. You can find information about the LLVM-IR at
+and research might be required. You can find information about the LLVM-IR at
 
 \begin{itemize}
 \item \url{https://bit.ly/3rheZYr}
@@ -56,15 +56,18 @@
 coursework.  You should use the lexer and parser from the previous
 courseworks, but you need to make some modifications to them for the
 `typed' version of the Fun-language. I will award up to 5\% if a lexer
-and a parser are correctly implemented. At the end, please package
-everything(!) in a zip-file that creates a directory with the name
+and a parser are correctly implemented.
 
-\begin{center}
-\texttt{YournameYourFamilyname}
-\end{center}
-
-\noindent
-on my end. You will be marked according to the input files
+%At the end, please package
+%everything(!) in a zip-file that creates a directory with the name
+%
+%\begin{center}
+%\texttt{YournameYourFamilyname}
+%\end{center}
+%
+%\noindent
+%on my end.
+You will be marked according to the input files
 
 \begin{itemize}
 \item\href{https://nms.kcl.ac.uk/christian.urban/cfl/progs/sqr.fun}{sqr.fun}  
@@ -75,7 +78,7 @@
 \end{itemize}  
 
 \noindent
-which are uploaded to KEATS.
+which are uploaded to KEATS and Github.
 
 \subsection*{Disclaimer\alert}
 
--- a/cwtests/cw05/fact.fun	Sat Dec 02 21:37:04 2023 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,21 +0,0 @@
-// a simple factorial program
-// (including a tail recursive version)
-
-
-def fact(n: Int) : Int =
-  if n == 0 then 1 else n * fact(n - 1);
-
-def facT(n: Int, acc: Int) : Int =
-  if n == 0 then acc else facT(n - 1, n * acc);
-
-def facTi(n: Int) : Int = facT(n, 1);
-
-def top() : Void = {
-  print_int(fact(6));
-  print_char(',');
-  print_int(facTi(6));
-  print_char('\n')
-};
-
-top()
-
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/cwtests/cw05/fact2.fun	Wed Feb 21 09:14:12 2024 +0000
@@ -0,0 +1,21 @@
+// a simple factorial program
+// (including a tail recursive version)
+
+
+def fact(n: Int) : Int =
+  if n == 0 then 1 else n * fact(n - 1);
+
+def facT(n: Int, acc: Int) : Int =
+  if n == 0 then acc else facT(n - 1, n * acc);
+
+def facTi(n: Int) : Int = facT(n, 1);
+
+def top() : Void = {
+  print_int(fact(6));
+  print_char(',');
+  print_int(facTi(6));
+  print_char('\n')
+};
+
+top()
+
--- a/hws/hw07.tex	Sat Dec 02 21:37:04 2023 +0000
+++ b/hws/hw07.tex	Wed Feb 21 09:14:12 2024 +0000
@@ -193,7 +193,7 @@
   (iv) same as (ii) $E\cdot + \cdot E \cdot + \cdot E$
   }
 
-\item Suppose the string $``9-5+2''$. Give all ASTs that
+\item Suppose the string $``9-5+2''$. Give all parse trees that
   the following two grammars generate for this string.
 
 Grammar 1, where List is the starting symbol:
--- a/progs/catastrophic/catastrophic9.java	Sat Dec 02 21:37:04 2023 +0000
+++ b/progs/catastrophic/catastrophic9.java	Wed Feb 21 09:14:12 2024 +0000
@@ -27,7 +27,7 @@
             Pattern pattern = Pattern.compile("(a*)*b");
             
             // Run from 0 to 50000 characters
-            for (int length = 0; length < 50000; length += 5000) {
+            for (int length = 0; length < 65000; length += 5000) {
                 
                 // Build input of specified length
                 String input = "";
--- a/progs/fun/fun_llvm.sc	Sat Dec 02 21:37:04 2023 +0000
+++ b/progs/fun/fun_llvm.sc	Wed Feb 21 09:14:12 2024 +0000
@@ -267,7 +267,7 @@
   }
 }
 
-
+print("%d\n", i)
 val prelude = """
 @.str = private constant [4 x i8] c"%d\0A\00"
 
@@ -352,16 +352,25 @@
   else factC(n - 1, x => ret(x * n))
 }
 
-factC(6, x => x)
-factC(6, x => {println(s"The final Result is $x") ; 0})
-factC(6, _ + 1)
+
 
-def fibC(n: Int, ret: Int => Int) : Int = {
-  if (n == 0 || n == 1) ret(1)
-  else fibC(n - 1, x => fibC(n - 2, y => ret(x + y)))
-}
+
 
 fibC(10, x => {println(s"Result: $x") ; 1})
 
 
 */
+factC(6, x => x)
+factC(6, x => {println(s"The final Result is $x") ; 0})
+factC(6, _ + 1)
+
+def fib(n: Int) : Int = {
+  if (n == 0 || n == 1) 1
+  else fib(n - 1) + fib(n - 2)
+}
+
+
+def fibC(n: Int, ret: Int => Int) : Int = {
+  if (n == 0 || n == 1) ret(1)
+  else fibC(n - 1, x => fibC(n - 2, y => ret(x + y)))
+}
\ No newline at end of file
--- a/progs/lexer/lex.sc	Sat Dec 02 21:37:04 2023 +0000
+++ b/progs/lexer/lex.sc	Wed Feb 21 09:14:12 2024 +0000
@@ -35,8 +35,8 @@
   case c::Nil => CHAR(c)
   case c::s => SEQ(CHAR(c), charlist2rexp(s))
 }
-implicit def string2rexp(s : String) : Rexp = 
-  charlist2rexp(s.toList)
+
+given Conversion[String, Rexp] = (s => charlist2rexp(s.toList))
 
 val HELLO : Rexp = "hello"
 
@@ -181,7 +181,7 @@
 // Two Simple While Tests
 //========================
 
-@arg(doc = "small tests")
+//@arg(doc = "small tests")
 @main
 def small() = {
 
--- a/progs/parser-combinators/comb1.sc	Sat Dec 02 21:37:04 2023 +0000
+++ b/progs/parser-combinators/comb1.sc	Wed Feb 21 09:14:12 2024 +0000
@@ -266,3 +266,14 @@
 println(E2.parse("((((((1))))))"))
 println(E2.parse("(((((((1)))))))"))
 println(E2.parse("((((((((1))))))))"))
+
+
+
+
+
+/*
+Try
+
+6 / 2 * (2+1)
+
+*/
Binary file slides/slides10.pdf has changed
--- a/slides/slides10.tex	Sat Dec 02 21:37:04 2023 +0000
+++ b/slides/slides10.tex	Wed Feb 21 09:14:12 2024 +0000
@@ -912,6 +912,35 @@
 \end{frame}
 
 
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\begin{frame}[c]
+\frametitle{Big Thank You!}
+\large
+
+\only<1>{%
+\begin{itemize}
+\item<-1> It is always fun to learn new things in CFL
+\item<-1> I want to add Higher-Order Functions and Algebraic Datatypes
+  to Fun
+\end{itemize}}
+
+\only<2->{%
+\begin{itemize}
+\item<2-> Thanks for ALL the EoY feedback:\medskip\bigskip
+
+\begin{minipage}{13cm}  
+\begin{quote}\it
+``If all modules were as good as this one I would start recommending KCL over basically every single university instead of suggesting people look somewhere else.''
+\end{quote}
+\end{minipage}
+\end{itemize}}
+
+\hfill\includegraphics[scale=0.12]{thanks.png} 
+
+\end{frame}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%  
+
+
 \end{document}
 
 %%% Local Variables: