PSS Gedächtnisprotokoll Klausur WS0910 - Versionsgeschichte

Paul am 28. Februar 2012 um 17:49 Uhr

2012-02-28T17:49:38Z

2012-02-28T17:49:04Z

2010-02-17T09:58:39Z

‎Aufgabe 2 (13 Punkte)

2010-02-17T09:56:16Z

‎Aufgabe 6 (6 Punkte)

2010-02-17T09:55:05Z

‎Aufgabe 4 (etwa 7 Punkte)

2010-02-17T09:53:46Z

‎Aufgabe 4 (etwa 7 Punkte)

2010-02-17T09:51:16Z

‎Aufgabe 3 (6 Punkte)

2010-02-17T09:50:48Z

‎Aufgabe 3 (6 Punkte)

2010-02-17T09:49:29Z

‎Aufgabe 3 (6 Punkte)

2010-02-17T09:47:57Z

‎Aufgabe 2 (13 Punkte)

← Nächstältere Version		Version vom 28. Februar 2012, 17:49 Uhr
Zeile 96:		Zeile 96:
	ELSE		ELSE
	typecheck(expr1,def(name,t(result1),envi))		typecheck(expr1,def(name,t(result1),envi))
		+	FOO

← Nächstältere Version		Version vom 28. Februar 2012, 17:49 Uhr
Zeile 73:		Zeile 73:

	3) 2 Varianten von Code für einen mathematischen Ausdruck war vorgegeben. Einmal naive Variante, einmal mit dem tieferen Baum zuerst ausgeführt. Gefragt war welche Variante besser ist.		3) 2 Varianten von Code für einen mathematischen Ausdruck war vorgegeben. Einmal naive Variante, einmal mit dem tieferen Baum zuerst ausgeführt. Gefragt war welche Variante besser ist.
		+
		+	== Mögliche Lösungen ==
		+
		+	== Aufgabe 3 ==
		+
		+	DATA Expr == where(e1:Expr, ide:denotation, e2:Expr)
		+
		+
		+	FUN typecheck : expr ** env -> result
		+
		+
		+	DATA result == avail(t:Type)
		+	nil
		+
		+
		+	DEF typecheck(where(expr1,name,expr2), envi )==
		+	LET
		+	result1 == typecheck(expr2,envi)
		+	IN
		+	IF result1 nil? THEN
		+	result1
		+	ELSE
		+	typecheck(expr1,def(name,t(result1),envi))

@@ Zeile 11: / Zeile 11: @@
 == Aufgabe 2 (13 Punkte) ==
-Absy (2 Punkte) und Parser (11 Punkte) für Java Methodenaufrufe
+Absy (2 Punkte) und Parser ohne Fehlerbehandlung (11 Punkte) für Java Methodenaufrufe
 Beispielsatz: x.f(y.g(y,a),b)

@@ Zeile 54: / Zeile 54: @@
 SECD ausführen für den Ausdruck:  (\\x.add(x 2))(4)
-== Aufgabe 6 (6 Punkte) ==
+== Aufgabe 6 (4+1+1 = 6 Punkte) ==
 ) Stack Machine Code für Funktion generieren:

@@ Zeile 39: / Zeile 39: @@
   gamma |- where(e1:t1, v:t2, e2:t2) : t1
-== Aufgabe 4 (etwa 7 Punkte) ==
+== Aufgabe 4 (7 Punkte) ==
 Unifikation:

@@ Zeile 48: / Zeile 48: @@
   DEF f == \\s. filter(lengthOne)(s)
-Baum für f (als Abstraktion) war angegeben und korrekt.
+Baum für f (als Abstraktion) war vorgegeben und musste auf Typkorrektheit geprüft werden.  D.h. Typgleichungen angeben und Unifikation durchführen.
 == Aufgabe 5 (7 Punkte) ==

@@ Zeile 31: / Zeile 31: @@
   DATA result == avail(t:Type)
-               nil
+                nil
 und die Lambda Kalkül Regel:

@@ Zeile 25: / Zeile 25: @@
 Gegeben war:
-   DATA absy == where(e1:Expr, ide:denotation, e2:Expr)
+   DATA Expr == where(e1:Expr, ide:denotation, e2:Expr)
-                              ...
+               ...
   FUN typecheck : expr ** env -> result

@@ Zeile 23: / Zeile 23: @@
 Typcheck von where-Ausdruck:  (...) where (v == ...)
-Absy-Konstruktor für where:   where(e1:Expr, ide:denotation, e2:Expr)
+Gegeben war:
   FUN typecheck : expr ** env -> result
@@ Zeile 30: / Zeile 33: @@
                 nil
-Gegeben war Lambda Kalkül Regel:
+und die Lambda Kalkül Regel:
   gamma, v:t2 |- e1:t1 , gamma |- e2:t2