## Die Suche ergab 86 Treffer

6. Mär 2014 17:07
Forum: Type Systems of Programming Languages
Thema: Recursion in lambda-calculus
Antworten: 2
Zugriffe: 455

### Re: Recursion in lambda-calculus

We wrote general recursive functions using a fixpoint combinator in the untyped lambda calculus, see Assignment 4.
Our problems only started when we moved on to the simply typed calculus because we could not - as you said - type the fixpoint combinator.
21. Jan 2014 17:33
Forum: Automated Code Analysis for Large Software Systems
Thema: Sheet 6 Exercise 2: Order of method calls?
Antworten: 1
Zugriffe: 426

### Sheet 6 Exercise 2: Order of method calls?

I have some problems to understand the task. Are the relevant kinds of analyses limited to controlflow insensitive analyses or is the "controlflow ignoring" or "arbitrary execution order" to be understood as, e.g., the permutation c() b() d() a() instead of the right method call order a() b() c() d(...
27. Nov 2013 22:58
Forum: Type Systems of Programming Languages
Thema: Assignment 6.3
Antworten: 9
Zugriffe: 777

### Re: Assignment 6.3

With your approach you can a _subset_ of the possible lists, namely the lists of length n (to stick with your example). But that is not what the type defintion calls for. You can define lists of a maximal length with our language (and type system) namely by inlining the NumList definition but you ca...
27. Nov 2013 19:15
Forum: Type Systems of Programming Languages
Thema: Assignment 6.3
Antworten: 9
Zugriffe: 777

### Re: Assignment 6.3

Well and I don't know how to get more specific without spelling out the problem with our language

Because our language is typed (or rather the way it is typed) you can't do what you want to do with lambda expressions.
27. Nov 2013 17:43
Forum: Type Systems of Programming Languages
Thema: Assignment 6.3
Antworten: 9
Zugriffe: 777

### Re: Assignment 6.3

We also have types in our language.
9. Nov 2013 17:09
Forum: Type Systems of Programming Languages
Thema: Assignment 2
Antworten: 2
Zugriffe: 419

### Re: Assignment 2

AlexanderF hat geschrieben:so I cannot show that progress stil holds because in this example it does not?
It does. Consider the definition of progress /preservation in detail, for how many reduction steps progress is "guaranteed" and if you still satisfy the premise for e'.
30. Aug 2013 00:47
Forum: Archiv
Thema: Fehler in Musterlösung von Klausur 2013_04
Antworten: 14
Zugriffe: 3700

### Re: Fehler in Musterlösung von Klausur 2013_04

Das ist auch richtig.

Mit
$$\ln_a(n)' = \frac{1}{n}$$
und einem Basiswechsel zu e kommt man aber zu
$$\log_a(n)' = const \cdot \frac{1}{n}$$
27. Aug 2013 16:38
Forum: Archiv
Thema: Frage zum Korrektheitsbeweis von Dijsktra
Antworten: 5
Zugriffe: 587

### Re: Frage zum Beweis von Dijsktra

Die Invariante bedeutet, dass in dem Pfad nur Knoten sind, die schon bearbeitet wurden. Mit dem zitierten Satz aus dem Korrektheitsbeweis habe ich auch so meine Probleme, die Idee ist hier aber, dass Q noch nicht leer ist und u der naechste Knoten ist der bearbeitet wird.
23. Jul 2013 14:54
Forum: Archiv
Thema: UnionFind
Antworten: 3
Zugriffe: 616

### Re: UnionFind

Auch wenn die Standardlibrary von Java relativ umfangreich ist, enthaelt sie nicht jede Datenstruktur oder jeden Algorithmus. Mehr zu UnionFind (dem Algorithmus) und Disjoint-set (der Datenstruktur) gibt es bei Wikipedia, inklusive Links Implementierungen: https://en.wikipedia.org/wiki/Disjoint-set_...
10. Jul 2013 14:20
Forum: Algorithms of Language Technology
Thema: Hausübung 10, bakertilly.txt fehlt
Antworten: 2
Zugriffe: 401

### Re: Hausübung 10, bakertilly.txt fehlt

Danke!
10. Jul 2013 13:56
Forum: Algorithms of Language Technology
Thema: Hausübung 10, bakertilly.txt fehlt
Antworten: 2
Zugriffe: 401

### Hausübung 10, bakertilly.txt fehlt

In Aufgabe 2 wird die Datei bakertilly.txt erwaehnt, im Moodle fehlt sie aber noch.
1. Jul 2013 17:16
Forum: Archiv
Thema: 10.1 Implementationsinvariante
Antworten: 14
Zugriffe: 1484

### Re: 10.1 Implementationsinvariante

@AnnaW: Hum, nun ... genau unter $$F$$.
30. Jun 2013 17:49
Forum: Archiv
Thema: Workshop Komplexität
Antworten: 2
Zugriffe: 253

### Re: Workshop Komplexität

Es ist geplant, dass die (Theorie-)Workshops vor der Klausur in der vorlesungsfreien Zeit nochmal wiederholt werden.
29. Jun 2013 16:12
Forum: Archiv
Thema: 10.1 Implementationsinvariante
Antworten: 14
Zugriffe: 1484

### Re: 10.1 Implementationsinvariante

Die Invariante der Datenstruktur ist nicht die einzige, die verletzt werden kann.
25. Jun 2013 12:23
Forum: Archiv
Thema: Ex09: Instantiation of a inherited class
Antworten: 7
Zugriffe: 849

All fields, yes.