Die Suche ergab 116 Treffer
- 6. Nov 2014 09:23
- Forum: Designing code analyses for large software systems (DECA)
- Thema: Basic clarification: Lattice, Flow Function
- Antworten: 5
- Zugriffe: 1289
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 ...
- 2. Nov 2014 08:56
- Forum: Designing code analyses for large software systems (DECA)
- Thema: Searching for group (1 person)
- Antworten: 11
- Zugriffe: 1256
Re: Searching for group (1 person)
I am also still looking for a group.
Anyone?
Anyone?
Exam Date
Hi,
is the exam date in Tucan (Fr, 27. Feb. 2015 11:30-13:30) correct?
Thanks!
is the exam date in Tucan (Fr, 27. Feb. 2015 11:30-13:30) correct?
Thanks!
- 21. Okt 2014 09:07
- Forum: Archiv
- Thema: Where the slides can be found for today's class.
- Antworten: 5
- Zugriffe: 861
Re: Where the slides can be found for today's class.
Yes, I can access them.
- 21. Okt 2014 09:06
- Forum: Designing code analyses for large software systems (DECA)
- Thema: Exam dates
- Antworten: 12
- Zugriffe: 1457
Re: Exam dates
Any updates on the exam date?
Thanks!
Thanks!
- 15. Okt 2014 18:25
- Forum: Designing code analyses for large software systems (DECA)
- Thema: Exam dates
- Antworten: 12
- Zugriffe: 1457
Re: Exam dates
Conflicting with what date?
- 20. Jul 2014 18:40
- Forum: Archiv
- Thema: Discuss exercises?
- Antworten: 29
- Zugriffe: 4961
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 ----+----- ----+--------- ...
- 20. Jul 2014 16:05
- Forum: Archiv
- Thema: Discuss exercises?
- Antworten: 29
- Zugriffe: 4961
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) }
- 20. Jul 2014 15:09
- Forum: Archiv
- Thema: ex06 Task 1: Mutation for Recursion
- Antworten: 2
- Zugriffe: 444
Re: ex06 Task 1: Mutation for Recursion
Oh, yes. That seems much simpler 
Thanks!

Thanks!
- 19. Jul 2014 21:59
- Forum: Archiv
- Thema: ex06 Task 1: Mutation for Recursion
- Antworten: 2
- Zugriffe: 444
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...
- 19. Jul 2014 17:50
- Forum: Archiv
- Thema: Discuss exercises?
- Antworten: 29
- Zugriffe: 4961
Re: Discuss exercises?
Yes!Mr.B hat geschrieben: You could substitute free variables in a first class function definition. This would have the semantics of a closure, right?
- 19. Jul 2014 17:49
- Forum: Archiv
- Thema: Discuss exercises?
- Antworten: 29
- Zugriffe: 4961
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 ----+----- ----+--------- ...
- 19. Jul 2014 17:04
- Forum: Archiv
- Thema: Discuss exercises?
- Antworten: 29
- Zugriffe: 4961
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...
- 19. Jul 2014 16:42
- Forum: Archiv
- Thema: Discuss exercises?
- Antworten: 29
- Zugriffe: 4961
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)?
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)?
- 19. Jul 2014 15:26
- Forum: Archiv
- Thema: Discuss exercises?
- Antworten: 29
- Zugriffe: 4961
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...