Die Suche ergab 271 Treffer
- 10. Apr 2017 15:40
- Forum: Archiv
- Thema: Lab: "Reliable Software Security for Mobile Devices" in SS17
- Antworten: 0
- Zugriffe: 546
Lab: "Reliable Software Security for Mobile Devices" in SS17
In the summer term 2017, the MAIS group (Prof. Mantel) offers the lab "Reliable Software Security for Mobile Devices" (6 CP, TUCaN Id: 20-00-0799-pr). Further information can be found on the course webpage (http://www.mais.informatik.tu-darmstadt.de/rssmd-ss17.html) The joint introductory meeting fo...
- 7. Apr 2016 11:13
- Forum: Archiv
- Thema: Lab: Reliable Software Security for Mobile Devices
- Antworten: 0
- Zugriffe: 505
Lab: Reliable Software Security for Mobile Devices
In the summer term 2016, the MAIS group (Prof. Dr. Heiko Mantel) offers the lab course Reliable Software Security for Mobile Devices (6 CP, TUCaN Id: 20-00-0799-pr).
The introductory meeting takes place on 15.04.2016 at 1pm in room S2|02 E202.
The introductory meeting takes place on 15.04.2016 at 1pm in room S2|02 E202.
- 7. Apr 2016 11:11
- Forum: Veranstaltungen
- Thema: Lab: Reliable Software Security for Mobile Devices
- Antworten: 0
- Zugriffe: 414
Lab: Reliable Software Security for Mobile Devices
In the summer term 2016, the MAIS group (Prof. Dr. Heiko Mantel) offers the lab course Reliable Software Security for Mobile Devices (6 CP, TUCaN Id: 20-00-0799-pr).
The introductory meeting takes place on 15.04.2016 at 1pm in room S2|02 E202.
The introductory meeting takes place on 15.04.2016 at 1pm in room S2|02 E202.
- 3. Jun 2014 12:44
- Forum: Archiv
- Thema: Moodle Kurs
- Antworten: 5
- Zugriffe: 1638
Re: Moodle Kurs
Dann schlage ich vor, du schreibst den Assistenten Daniel Günzel an.
- 2. Jun 2014 15:05
- Forum: Archiv
- Thema: Moodle Kurs
- Antworten: 5
- Zugriffe: 1638
Re: Moodle Kurs
Der FGdI-1-Kurs ist eigentlich der Kurs für beide Teile. Das ist also der Kurs, den ihr sucht.
- 6. Mär 2014 17:32
- Forum: Type Systems of Programming Languages
- Thema: Motivation for erase
- Antworten: 2
- Zugriffe: 499
Re: Motivation for erase
The motivation is basically to demonstrate that the types are only used by the type checker, and do not influence the execution of terms.
- 24. Jan 2014 17:15
- Forum: Type Systems of Programming Languages
- Thema: Assignment 10.2 is unclear
- Antworten: 1
- Zugriffe: 1139
Assignment 10.2 is unclear
Hi, unfortunately, the second task of the current assignment is completely unclear to me. There are two problems: Firstly, I am unable to see how the universal types are used. Secondly, I can't imagine how exactly the constraint system is built. Currently, we only see a type rule which merely propag...
- 4. Dez 2013 12:23
- Forum: Automated Code Analysis for Large Software Systems
- Thema: Determining the Object on which a Method is Invoked
- Antworten: 3
- Zugriffe: 815
Re: Determining the Object on which a Method is Invoked
Yes, it does. Thanks!
- 3. Dez 2013 13:32
- Forum: Automated Code Analysis for Large Software Systems
- Thema: Determining the Object on which a Method is Invoked
- Antworten: 3
- Zugriffe: 815
Determining the Object on which a Method is Invoked
Hi all, we encountered a problem while trying to implement the translation of flow abstractions from the caller to the callee: We were unable to find a way to determine which object a method is being invoked on, i.e., what will be the this pointer during the execution of the called method. Our first...
- 28. Nov 2013 14:39
- Forum: Type Systems of Programming Languages
- Thema: Assignment 6.3
- Antworten: 9
- Zugriffe: 1027
Re: Assignment 6.3
Yes, I was being imprecise. What I meant was that the task is about adding lists as an instance of a language construct.
Anyway, I'll try not to confuse people any further. I think the task is clearer now.
Anyway, I'll try not to confuse people any further. I think the task is clearer now.
- 28. Nov 2013 14:21
- Forum: Type Systems of Programming Languages
- Thema: Assignment 6.3
- Antworten: 9
- Zugriffe: 1027
Re: Assignment 6.3
I think there might be a misunderstanding regarding the interpretation of the task. It might be true that you can write programs which work with lists of numbers, by using appropriate encodings. However, I think the task asks one to define lists as a language construct . This is something different....
- 27. Nov 2013 12:23
- Forum: Type Systems of Programming Languages
- Thema: Assignment 6.1
- Antworten: 3
- Zugriffe: 573
Re: Assignment 6.1
There seem to be two small typos: In the definition of the syntax of tagged values and case distinctions, t is twice used where I suppose e was intended instead.
- 25. Nov 2013 10:55
- Forum: Studienorganisation
- Thema: Mehr CPs einbringen als notwendig
- Antworten: 1
- Zugriffe: 1220
Re: Mehr CPs einbringen als notwendig
Meines Wissens werden die schlechtesten CP abgeschnitten, allerdings nur innerhalb des unmittelbaren Bereiches, in dem die CP zu viel sind; also beispielsweise nur innerhalb eines bestimmten kanonischen Bereiches.
- 15. Nov 2013 13:08
- Forum: Type Systems of Programming Languages
- Thema: Assignment 4.1 - questions
- Antworten: 3
- Zugriffe: 582
Re: Assignment 4.1 - questions
I think the question is why you didn't enclose numeric constants in angled brackets in the expressions which we are to evaluate, even though the official syntax requires it.erdweg hat geschrieben:I don't understand this question.(ii) Should numbers not be circumvented by inequality signs?
- 14. Nov 2013 10:57
- Forum: Type Systems of Programming Languages
- Thema: Assignment 4.3, Specification Tests
- Antworten: 6
- Zugriffe: 755
Re: Assignment 4.3, Specification Tests
Yeah, that did it.
Thanks.
Thanks.