Die Suche ergab 61 Treffer

von errt
11. Dez 2016 12:32
Forum: Archiv
Thema: filter(that contains _)
Antworten: 2
Zugriffe: 307

Re: filter(that contains _)

Bis auf ein bisschen Syntax ist das mehr oder weniger exakt das gleiche, was du auch hast: Du definierst ein Lambda mit dem benannten Parameter 'x'. Man kann jedoch auch die Angabe der Parameternamen weglassen und Unterstriche für die Parameter verwenden. AFAIR wird dann der erste verwendete Unterst...
von errt
1. Dez 2014 11:50
Forum: Implementing code analyses for large software systems (ICA)
Thema: Wrong testcase for sheet 4 task 1
Antworten: 3
Zugriffe: 575

Re: Wrong testcase for sheet 4 task 1

That's exactly what we did: The jimple code of the branch in TargetClass1 is if h != b goto label1; . As h = 25 and b = 25, this branch is never taken. The jimple code of the branch in TargetClass2 is $b0 = v cmpl 0.0; if $b0 <= 0 goto label1; . Now, v = 0, so $b0 is 0, too. This branch therefore is...
von errt
28. Nov 2014 14:49
Forum: Implementing code analyses for large software systems (ICA)
Thema: Wrong testcase for sheet 4 task 1
Antworten: 3
Zugriffe: 575

Wrong testcase for sheet 4 task 1

When implementing task 1 a), we came to the conclusion that the testcase for TargetClass2 is incorrect. As in the TargetClass1 testcase, the branch parameter is asserted to be false. This would mean the code is actually alive (as the branch condition is inverted), which is correct in TargetClass1 (a...
von errt
19. Jul 2014 20:06
Forum: Archiv
Thema: Discuss exercises?
Antworten: 29
Zugriffe: 4481

Re: Discuss exercises?

Do you see any advantages of the copy approach over the moving approach? Well, if you don't identify the live objects first but copy objects once known to be live, you don't need to scan the memory for live objects after a mark phase. That would be good if the number of live objects is small compar...
von errt
18. Jul 2014 20:44
Forum: Archiv
Thema: Delimited continuations in Scala
Antworten: 9
Zugriffe: 1354

Re: Delimited continuations in Scala

Wasn't exactly that example in the slides accompanied by the explanation that this should be 16, as k is an Escaper and therefore can not be executed more than once in this context?
von errt
17. Jul 2014 23:11
Forum: Archiv
Thema: Delimited continuations in Scala
Antworten: 9
Zugriffe: 1354

Re: Delimited continuations in Scala

This is still unclear to me. Slides e.g. said that the escaper in reset { 1 + shift { k: (Int => Int) => { k(3) } } } was 1+k. Now, if the escaper only captures the code between the end of the shift and the end of the reset that would be nothing. So either the slides are wrong or the escaper does no...
von errt
20. Mai 2014 16:57
Forum: Archiv
Thema: Assignment 05 Task 1
Antworten: 11
Zugriffe: 896

Re: Assignment 05 Task 1

Yes, I encountered that while fixing my solution. Hint: The 19th testcase is of the form "LetRec(...,...,App(...,...))"
von errt
19. Mai 2014 17:17
Forum: Archiv
Thema: Assignment 05 Task 1
Antworten: 11
Zugriffe: 896

Re: Assignment 05 Task 1

Thanks. Found an error and could fix it. Hint, if anyone else has the same problem: As the specification says, "generate a “self-replicating” copy of the recursive definition", not one that replicates something else.
von errt
19. Mai 2014 09:41
Forum: Archiv
Thema: Assignment 05 Task 1
Antworten: 11
Zugriffe: 896

Re: Assignment 05 Task 1

I also managed to do this task using a solution like the one you described. While it passes all public tests (and a few additional I wrote), so I'm quite confident it is at least not too far away from being correct, the specification tests fail with a running failure and test score 0/-1. Did anyone ...
von errt
18. Jul 2013 08:38
Forum: Archiv
Thema: LIVE-Analyse: Frage zur Referenzimplementation
Antworten: 3
Zugriffe: 670

Re: LIVE-Analyse: Frage zur Referenzimplementation

Das ist aber eine StoreEntryInstruction, also ein Schreiben in ein Array. Wenn du nicht nachweisen kannst, dass weiter 'unten' im Programm nicht nur von dem hier verwendeten Index gelesen wird, musst du annehmen, dass weiter 'oben' gelegene Schreibzugriffe andere Indizes beschreiben, die noch benöti...
von errt
13. Mai 2013 15:46
Forum: Archiv
Thema: Wie wird die Klausur-Art für Compiler 2 sein?
Antworten: 4
Zugriffe: 1463

Re: Wie wird die Klausur-Art für Compiler 2 sein?

Herr Koch hatte bereits angekündigt, dass es eine Klausur geben werde und von Florian Stock kam letzte Woche die Aussage, der Klausurtermin sei am 22.7., was so auch im Tucan steht.
von errt
23. Apr 2013 12:20
Forum: Offtopic
Thema: Schneller mit TU-ID einloggen per Bookmarklet
Antworten: 10
Zugriffe: 3945

Re: Schneller mit TU-ID einloggen per Bookmarklet

Für den Firefox tut es das Plugin RememberPass auch. Im Prinzip sollte alles funktionieren, wass das 'autocomplete' Attribut an den Eingabefeldern entfernt.
von errt
8. Apr 2013 16:22
Forum: Archiv
Thema: Klausur: Wie lief's
Antworten: 12
Zugriffe: 1942

Re: Klausur: Wie lief's

Ich war etwas irritiert, weil auf der Veranstaltungsseite von 90 Minuten Klausur die Rede war. Fragestellungen erinnerten mich teilweise an dein Bild, insgesamt sollte es aber ganz brauchbar gelaufen sein, hoffe ich.
von errt
7. Apr 2013 15:28
Forum: Archiv
Thema: Exercise 4 - Aufgabe 1
Antworten: 9
Zugriffe: 917

Re: Exercise 4 - Aufgabe 1

Das wüsste ich zugegebenermaßen auch gerne. Soweit ich das sehe, ist das Ganze aber auch garnicht allgemeingültig, weil es nur gilt, wenn mindestens ein Objekt, eben c, existiert. Andererseits darf D laut den Folien sowieso nicht leer sein. Alles nicht so ganz klar.
von errt
7. Apr 2013 15:07
Forum: Archiv
Thema: Exercise 4 - Aufgabe 1
Antworten: 9
Zugriffe: 917

Re: Exercise 4 - Aufgabe 1

barracuda317 hat geschrieben:Mit Exright können wir keine Konstanten einführen, das heißt ich muss entweder auf bestehende Konstanten zurückgreifen, die bereits angegeben sind (hier finde ich keine)
In f3.key befindet sich eine vorgegebene Konstante c, die dann verwendet wird.

Zur erweiterten Suche