Die Suche ergab 182 Treffer

von FeG
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...
von FeG
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...
von FeG
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...
von FeG
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...
von FeG
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 ...
von FeG
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 ...
von FeG
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)....
von FeG
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...
von FeG
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 defined by immediate substitution? (Just a slight...
von FeG
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 : Define the following terms: free identifier, bound identifier, scope of an identifier binding. A free identifier is an identif...
von FeG
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...
von FeG
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?

Thanks in advance,
Felix
von FeG
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 ...
von FeG
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...
von FeG
3. Jul 2012 14:15
Forum: Archiv
Thema: Modified Shell Model
Antworten: 3
Zugriffe: 991

Re: Modified Shell Model

Zur erweiterten Suche