Die Suche ergab 271 Treffer

von dschneid
10. Apr 2017 15:40
Forum: Archiv
Thema: Lab: "Reliable Software Security for Mobile Devices" in SS17
Antworten: 0
Zugriffe: 441

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...
von dschneid
7. Apr 2016 11:13
Forum: Archiv
Thema: Lab: Reliable Software Security for Mobile Devices
Antworten: 0
Zugriffe: 413

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.
RSSMD-Lab.png
von dschneid
7. Apr 2016 11:11
Forum: Veranstaltungen
Thema: Lab: Reliable Software Security for Mobile Devices
Antworten: 0
Zugriffe: 350

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.
RSSMD-Lab.png
von dschneid
3. Jun 2014 12:44
Forum: Archiv
Thema: Moodle Kurs
Antworten: 5
Zugriffe: 1410

Re: Moodle Kurs

Dann schlage ich vor, du schreibst den Assistenten Daniel Günzel an.
von dschneid
2. Jun 2014 15:05
Forum: Archiv
Thema: Moodle Kurs
Antworten: 5
Zugriffe: 1410

Re: Moodle Kurs

Der FGdI-1-Kurs ist eigentlich der Kurs für beide Teile. Das ist also der Kurs, den ihr sucht.
von dschneid
6. Mär 2014 17:32
Forum: Type Systems of Programming Languages
Thema: Motivation for erase
Antworten: 2
Zugriffe: 329

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.
von dschneid
24. Jan 2014 17:15
Forum: Type Systems of Programming Languages
Thema: Assignment 10.2 is unclear
Antworten: 1
Zugriffe: 1026

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...
von dschneid
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: 656

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...
von dschneid
28. Nov 2013 14:39
Forum: Type Systems of Programming Languages
Thema: Assignment 6.3
Antworten: 9
Zugriffe: 732

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.
von dschneid
28. Nov 2013 14:21
Forum: Type Systems of Programming Languages
Thema: Assignment 6.3
Antworten: 9
Zugriffe: 732

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....
von dschneid
27. Nov 2013 12:23
Forum: Type Systems of Programming Languages
Thema: Assignment 6.1
Antworten: 3
Zugriffe: 422

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.
von dschneid
25. Nov 2013 10:55
Forum: Studienorganisation
Thema: Mehr CPs einbringen als notwendig
Antworten: 1
Zugriffe: 1029

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.
von dschneid
15. Nov 2013 13:08
Forum: Type Systems of Programming Languages
Thema: Assignment 4.1 - questions
Antworten: 3
Zugriffe: 378

Re: Assignment 4.1 - questions

erdweg hat geschrieben:
(ii) Should numbers not be circumvented by inequality signs?
I don't understand this question.
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.
von dschneid
14. Nov 2013 10:57
Forum: Type Systems of Programming Languages
Thema: Assignment 4.3, Specification Tests
Antworten: 6
Zugriffe: 475

Re: Assignment 4.3, Specification Tests

Yeah, that did it.

Thanks.

Zur erweiterten Suche