D120.de/forum

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...

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.

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.

Dann schlage ich vor, du schreibst den Assistenten Daniel Günzel an.

Der FGdI-1-Kurs ist eigentlich der Kurs für beide Teile. Das ist also der Kurs, den ihr sucht.

The motivation is basically to demonstrate that the types are only used by the type checker, and do not influence the execution of terms.

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...

Yes, it does. Thanks!

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...

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.

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....

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.

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.

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.

Yeah, that did it.

Thanks.