afl-material: hws/hw08.tex@b3a237a5f4ad (annotated)

59 b64e876832cc added Christian Urban <urbanc@in.tum.de> parents: diff changeset	1	\documentclass{article}
292 7ed2a25dd115 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 206 diff changeset	2	\usepackage{../style}
876 09e4ca6d00a0 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 726 diff changeset	3	\usepackage{../langs}
292 7ed2a25dd115 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 206 diff changeset	4	\usepackage{../graphics}
59 b64e876832cc added Christian Urban <urbanc@in.tum.de> parents: diff changeset	5
b64e876832cc added Christian Urban <urbanc@in.tum.de> parents: diff changeset	6	\begin{document}
b64e876832cc added Christian Urban <urbanc@in.tum.de> parents: diff changeset	7
75 898c25a4e399 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 60 diff changeset	8	\section*{Homework 8}
59 b64e876832cc added Christian Urban <urbanc@in.tum.de> parents: diff changeset	9
916 2ab96407f350 texupdate Christian Urban <christian.urban@kcl.ac.uk> parents: 901 diff changeset	10	%%\HEADER
359 db106e5b7c4d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 292 diff changeset	11
59 b64e876832cc added Christian Urban <urbanc@in.tum.de> parents: diff changeset	12	\begin{enumerate}
292 7ed2a25dd115 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 206 diff changeset	13	\item Write a program in the WHILE-language that calculates
7ed2a25dd115 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 206 diff changeset	14	the factorial function.
77 49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	15
292 7ed2a25dd115 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 206 diff changeset	16	\item What optimisations could a compiler perform when
7ed2a25dd115 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 206 diff changeset	17	compiling a WHILE-program?
206 85b961f1eee9 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 102 diff changeset	18
292 7ed2a25dd115 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 206 diff changeset	19	\item What is the main difference between the Java assembler
7ed2a25dd115 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 206 diff changeset	20	(as processed by Jasmin) and Java Byte Code?
206 85b961f1eee9 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 102 diff changeset	21
876 09e4ca6d00a0 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 726 diff changeset	22	\item Consider the following Scala snippet. Are the two functions
09e4ca6d00a0 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 726 diff changeset	23	\texttt{is\_even} and \texttt{is\_odd} tail-recursive?
09e4ca6d00a0 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 726 diff changeset	24
09e4ca6d00a0 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 726 diff changeset	25	\begin{lstlisting}[numbers=none]
901 01b481e47887 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 876 diff changeset	26	def is_even(n: Int) : Boolean = {
01b481e47887 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 876 diff changeset	27	if (n == 0) true else is_odd(n - 1)
876 09e4ca6d00a0 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 726 diff changeset	28	}
09e4ca6d00a0 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 726 diff changeset	29
901 01b481e47887 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 876 diff changeset	30	def is_odd(n: Int) : Boolean = {
876 09e4ca6d00a0 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 726 diff changeset	31	if (n == 0) false
901 01b481e47887 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 876 diff changeset	32	else if (n == 1) true else is_even(n - 1)
876 09e4ca6d00a0 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 726 diff changeset	33	}
09e4ca6d00a0 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 726 diff changeset	34	\end{lstlisting}
09e4ca6d00a0 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 726 diff changeset	35
09e4ca6d00a0 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 726 diff changeset	36	Do they cause stack-overflows when compiled to the JVM (for example by Scala)?
09e4ca6d00a0 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 726 diff changeset	37
530 fd3678dd1465 updated cu parents: 359 diff changeset	38
fd3678dd1465 updated cu parents: 359 diff changeset	39	\item Explain what is meant by the terms lazy evaluation and eager
577 1d6043a87a3e updated Christian Urban <urbanc@in.tum.de> parents: 530 diff changeset	40	evaluation.
1d6043a87a3e updated Christian Urban <urbanc@in.tum.de> parents: 530 diff changeset	41
1d6043a87a3e updated Christian Urban <urbanc@in.tum.de> parents: 530 diff changeset	42	\item \POSTSCRIPT
59 b64e876832cc added Christian Urban <urbanc@in.tum.de> parents: diff changeset	43	\end{enumerate}
b64e876832cc added Christian Urban <urbanc@in.tum.de> parents: diff changeset	44
b64e876832cc added Christian Urban <urbanc@in.tum.de> parents: diff changeset	45	\end{document}
b64e876832cc added Christian Urban <urbanc@in.tum.de> parents: diff changeset	46
b64e876832cc added Christian Urban <urbanc@in.tum.de> parents: diff changeset	47	%%% Local Variables:
b64e876832cc added Christian Urban <urbanc@in.tum.de> parents: diff changeset	48	%%% mode: latex
b64e876832cc added Christian Urban <urbanc@in.tum.de> parents: diff changeset	49	%%% TeX-master: t
b64e876832cc added Christian Urban <urbanc@in.tum.de> parents: diff changeset	50	%%% End:

author	Christian Urban <christian.urban@kcl.ac.uk>
	Tue, 03 Oct 2023 23:23:57 +0100
changeset 937	b3a237a5f4ad
parent 916	2ab96407f350
child 940	1c1fbf45a03c
permissions	-rw-r--r--