Die Suche ergab 116 Treffer

von plo1234
6. Nov 2014 09:23
Forum: Designing code analyses for large software systems (DECA)
Thema: Basic clarification: Lattice, Flow Function
Antworten: 5
Zugriffe: 1080

Basic clarification: Lattice, Flow Function

Hi, could anyone help me getting some basic concepts straigt? I get what a lattice generally is. But in our case, what are the actual elements of the lattices? Statements? Program states? And what exactly are flow functions? At first I thought the elements of the lattice are program states (meaning ...
von plo1234
2. Nov 2014 08:56
Forum: Designing code analyses for large software systems (DECA)
Thema: Searching for group (1 person)
Antworten: 11
Zugriffe: 1076

Re: Searching for group (1 person)

I am also still looking for a group.
Anyone?
von plo1234
21. Okt 2014 09:16
Forum: Archiv
Thema: Exam Date
Antworten: 4
Zugriffe: 985

Exam Date

Hi,
is the exam date in Tucan (Fr, 27. Feb. 2015 11:30-13:30) correct?
Thanks!
von plo1234
21. Okt 2014 09:07
Forum: Archiv
Thema: Where the slides can be found for today's class.
Antworten: 5
Zugriffe: 724

Re: Where the slides can be found for today's class.

Yes, I can access them.
von plo1234
21. Okt 2014 09:06
Forum: Designing code analyses for large software systems (DECA)
Thema: Exam dates
Antworten: 12
Zugriffe: 1207

Re: Exam dates

Any updates on the exam date?
Thanks!
von plo1234
15. Okt 2014 18:25
Forum: Designing code analyses for large software systems (DECA)
Thema: Exam dates
Antworten: 12
Zugriffe: 1207

Re: Exam dates

Conflicting with what date?
von plo1234
20. Jul 2014 18:40
Forum: Archiv
Thema: Discuss exercises?
Antworten: 29
Zugriffe: 4546

Re: Discuss exercises?

This is what I have for ex06.2 ... This looks wrong to me. I got the following solution before GC based on our implementation of boxes: You are totally right. Thanks for the tipp! So I guess the right solution should look something like this: ## 1. Non-moving GC Env Store ----+----- ----+--------- ...
von plo1234
20. Jul 2014 16:05
Forum: Archiv
Thema: Discuss exercises?
Antworten: 29
Zugriffe: 4546

Re: Discuss exercises?

I am also not sure if there are any special cases. Everthing I did was add a Let case class case class Let(boundId: Symbol, namedExpr: Expr, body: Expr) extends Expr and match it case Let(boundId, namedExpr, body) => { interp(body, env + (boundId -> interp(namedExpr, env, ct)), ct) }
von plo1234
20. Jul 2014 15:09
Forum: Archiv
Thema: ex06 Task 1: Mutation for Recursion
Antworten: 2
Zugriffe: 363

Re: ex06 Task 1: Mutation for Recursion

Oh, yes. That seems much simpler ;)
Thanks!
von plo1234
19. Jul 2014 21:59
Forum: Archiv
Thema: ex06 Task 1: Mutation for Recursion
Antworten: 2
Zugriffe: 363

ex06 Task 1: Mutation for Recursion

Hi, to get recursion using mutation, I introduced a LetRec expression, which binds the name of the recursive function to a box. The box contains the functions body. For that I also had to change the evaluation of App-expressions. case WithRec(boundId, namedExpr, boundBody) => // create a new box and...
von plo1234
19. Jul 2014 17:50
Forum: Archiv
Thema: Discuss exercises?
Antworten: 29
Zugriffe: 4546

Re: Discuss exercises?

Mr.B hat geschrieben: You could substitute free variables in a first class function definition. This would have the semantics of a closure, right?
Yes!
von plo1234
19. Jul 2014 17:49
Forum: Archiv
Thema: Discuss exercises?
Antworten: 29
Zugriffe: 4546

Re: Discuss exercises?

Regarding ex.06.2 ## 2. Moving-GC Env Store ----+----- ----+--------- x1 | 1 1 | Num(10) x2 | 2 2 | Box(1) x3 | 3 3 | Box(2) res | 8 8 | Box(3) Shouldn't be the adress of Box(3) be 4? And then ofcourse the pointer of res 4 as well? Yes, I think so, too. After GC: Env Store ----+----- ----+--------- ...
von plo1234
19. Jul 2014 17:04
Forum: Archiv
Thema: Discuss exercises?
Antworten: 29
Zugriffe: 4546

Re: Discuss exercises?

I think the idea was that code which has side effects evaluates differently in substitution vs environment. Think of a "let" which binds an expression which makes your programm terminate to a variable which is never used. If you have (lazy) substitution, it will not error out because the bound expr...
von plo1234
19. Jul 2014 16:42
Forum: Archiv
Thema: Discuss exercises?
Antworten: 29
Zugriffe: 4546

Re: Discuss exercises?

Jep, I'm with Mr.B here.
So I guess no one else has an idea for something that I cannot implement using substitution that I could implement using environments (without a store)?
von plo1234
19. Jul 2014 15:26
Forum: Archiv
Thema: Discuss exercises?
Antworten: 29
Zugriffe: 4546

Re: Discuss exercises?

Hi, # Exercise 03 ## Task 1: Immediate substitution vs deferred substitution For the language F1WAE, we introduced environments as an alternative for substitutions. ### 1. Why did we do this? Increase efficiency: we don't have to traverse the whole program (especially unvisited branches) for substi...

Zur erweiterten Suche