## Die Suche ergab 182 Treffer

22. Aug 2012 19:07
Forum: Archiv
Thema: Exam Check-List: Discussion on Part 04 - Lazy Evaluation
Antworten: 7
Zugriffe: 766

### Re: Exam Check-List: Discussion on Part 04 - Lazy Evaluation

OK, what you want to do is being able to issue a call like head (f xs) without computing the entire result list ( f xs ) just to get at its first element. In some cases like f = reverse this is not possible, but in other cases it is. Well, I understood what's meant, however only rather contrived ex...
22. Aug 2012 18:39
Forum: Archiv
Thema: Last year's exam available
Antworten: 10
Zugriffe: 845

### Re: Last year's exam available

Thank you very much, Andreas, this gave me a little context. Hey, this was mentioned (albeit briefly) in the exercise! I assume you mean the exercise class (as in the exercise/solution files, I must have missed it several times by now.. :roll:) -- that might be the case, but due to a parallel lectur...
22. Aug 2012 17:19
Forum: Archiv
Thema: 2011 exam: "Eager Interpreter mit Memoization" ???
Antworten: 2
Zugriffe: 324

### Re: 2011 exam: "Eager Interpreter mit Memoization" ???

Hi, their are two variants of memoization: memoization of function arguments : with lazy evaluation, the argument expression is passed as-is, evaluated when needed and it's value then memoized, if needed later again. (That's what you refered to.) memoization of function results : in exercise 2012-06...
22. Aug 2012 16:50
Forum: Archiv
Thema: Fixpoint operator
Antworten: 4
Zugriffe: 600

### Re: Fixpoint operator

Hi, I allow my self to just provide the definitions for fact (orial) and fib (onacci) -- we had them like a thousand times anyway -- and show the application of the Y / fix-point combinator. I use the following combinator: (define Y (lambda (f) ((lambda (x) (f (lambda (v) ((x x) v)))) (lambda (x) (f...
22. Aug 2012 16:34
Forum: Archiv
Thema: Last year's exam available
Antworten: 10
Zugriffe: 845

### Re: Last year's exam available

Hi, I first thought of posting halfway complete solutions for the exam, but as I also want to go through the second half of the exam check-list (whose questions, at least for me, are notably more difficult as the questions in the exam), I'll only post some questions on the parts of the exam where I ...
22. Aug 2012 11:31
Forum: Archiv
Thema: Exam Check-List: Discussion on Part 05 - Monads
Antworten: 5
Zugriffe: 493

### Exam Check-List: Discussion on Part 05 - Monads

Hi, when I went through the monad slides and redid the according exercises, I though I understood the monads concept. Sadly, when trying to answer the check-list questions, especially the implementation questions, I ran into many problems, unresolved question marks, and frustration :( . I'd thus be ...
22. Aug 2012 00:40
Forum: Archiv
Thema: Exam Check-List: Discussion on Part 04 - Lazy Evaluation
Antworten: 7
Zugriffe: 766

### Exam Check-List: Discussion on Part 04 - Lazy Evaluation

Hi, below my solution to the fourth topic of the exam check-list (-> spoiler alert...). Best, Felix What is the difference between call-by-name and call-by need? Call-by-name: Argument expression provided to a function is evaluated within the function whenever it is needed (possibly multiple times)....
21. Aug 2012 23:24
Forum: Archiv
Thema: Exam Check-List: Discussion on Part 03 - Functions Part 2
Antworten: 6
Zugriffe: 768

### Re: Exam Check-List: Discussion on Part 03 - Functions Part

Hi, 9. Describe the environment (including the environments stored in closures) at certain points in the given program. (I think I understood this marginally different..) Program: {with {x 42} {with {f {fun {n} {+ n x}}} {with {x 1} {+ x {f 1}}}}} Describe environment directly before evaluating expr...
21. Aug 2012 23:02
Forum: Archiv
Thema: Exam Check-List: Discussion on Part 03 - Functions Part 1
Antworten: 2
Zugriffe: 998

### Re: Exam Check-List: Discussion on Part 03 - Functions Part

Hi, first thanks for joining in, this makes one's own solutions more comparable. I'll add some of my solutions/ideas to some of the questions: 3. Explain the difference between static scoping and dynamic scoping. Which of them implements the semantics deﬁned by immediate substitution? (Just a slight...
20. Aug 2012 15:30
Forum: Archiv
Thema: Exam Check-List: Discussion on Part 02 - Substitution
Antworten: 3
Zugriffe: 610

### Exam Check-List: Discussion on Part 02 - Substitution

Hi, as introduced here , I post below my solution to the second topic of the exam check-list (-> spoiler alert...). Best, Felix Here are my solutions on Part 02 - Substitution : Deﬁne the following terms: free identiﬁer, bound identiﬁer, scope of an identiﬁer binding. A free identifier is an identif...
20. Aug 2012 12:27
Forum: Archiv
Thema: Exam Check-List: Discussion on Part 01 - Interpeters
Antworten: 1
Zugriffe: 474

### Exam Check-List: Discussion on Part 01 - Interpeters

Hi all, I thought it would be nice to exchange and discuss solutions on the questions posed in the "exam check-list" ( https://cage.st.informatik.tu-darmstadt.de/2012/copl/public/exam/check-list.pdf ), so I'll post my ones (separting the different topics by distinct forum threads) to start a discuss...
13. Aug 2012 19:31
Forum: Archiv
Thema: Slides on recursion now available
Antworten: 2
Zugriffe: 297

### Re: Slides on recursion now available

Hi Andreas,

in the slides (pp. 33, 35, 40, 43) are references to code (the respective interpreters) that aren't included in the SVN folder. If this isn't on purpose, could you add these files?

Felix
17. Jul 2012 10:41
Forum: Archiv
Thema: Gültigkeit
Antworten: 6
Zugriffe: 3120

### Re: Gültigkeit

Hi, Aufpassen !!! Beim Schalenmodell zählt zwar nur der Verifikationszeitpunkt... wenn aber, wie in allen Aufgaben die wir bisher bekommen haben und auch in allen Klausuren die mir bekannt sind, das Endnutzer Zertifikat (für die Aufgaben meistens Alice) zum Signaturzeitpunkt selbst NICHT-, aber zum ...
9. Jul 2012 13:11
Forum: Archiv
Thema: Gültigkeit
Antworten: 6
Zugriffe: 3120

### Re: Gültigkeit

ich habe schon Skript geschaut. ZB Übung 9 5 Aufgabe a) schallenmodell 20.04.2005 gültig aber an diese Zertifikat C ab 1.5.2004 gültig ? muss für schalenmodell verifikation datum salles gültig sein. Beim Schalenmodell ist nur relevant, ob zum Verifikationszeitpunkt alle Zertifikate gütlig sind. Der...
3. Jul 2012 14:15
Forum: Archiv
Thema: Modified Shell Model
Antworten: 3
Zugriffe: 991