Die Suche ergab 49 Treffer

von DanielSchoepe
9. Jul 2012 12:49
Forum: Secure Coding Lab
Thema: Assignment 7: Should old program format still be supported?
Antworten: 1
Zugriffe: 2250

Assignment 7: Should old program format still be supported?

I noticed that the argument for CFG generation is now called -cfg instead of the old -cfgfile. Does this mean that our tool should still support generating CFGs for programs in the "old" language, i.e. not enclosed in "begin" .. "end" and not including procedures? At least in my implementation, this...
von DanielSchoepe
8. Jul 2012 20:13
Forum: Secure Coding Lab
Thema: Assignment 7: Explicit labels for call statements
Antworten: 1
Zugriffe: 582

Assignment 7: Explicit labels for call statements

Hi, the assignment does not seem to specify how the "explicit" labeling syntax for statements with two labels shall look like. In our case the only such statement is call. Should specifying a label explicitly à la "[..]@pi" for other statements still be supported for call-statements, and, if so, how...
von DanielSchoepe
2. Jul 2012 11:01
Forum: Archiv
Thema: Exam: room change and TUCaN sign-up
Antworten: 9
Zugriffe: 610

Re: Exam: room change and TUCaN sign-up

I signed up earlier and until today, tucan also showed an "Abmelden" button, but that is no longer the case. Maybe they (the tucan people) somehow closed the sign-up period prematurely. (I guess I should be lucky that I signed up _before_ today, then!) AFAIK, the sign-up (and sign-out) period ended...
von DanielSchoepe
30. Jun 2012 11:23
Forum: Archiv
Thema: Exam: room change and TUCaN sign-up
Antworten: 9
Zugriffe: 610

Re: Exam: room change and TUCaN sign-up

I signed up for the event(veranstaltung) & module, but I can't sing up to the exam. I signed up earlier and until today, tucan also showed an "Abmelden" button, but that is no longer the case. Maybe they (the tucan people) somehow closed the sign-up period prematurely. (I guess I should be lucky th...
von DanielSchoepe
24. Jun 2012 19:08
Forum: Secure Coding Lab
Thema: Adding generic type arguments to FamilyOfNFA
Antworten: 1
Zugriffe: 578

Adding generic type arguments to FamilyOfNFA

Is it okay to add an additional type parameter to FamilyOfNFA<E, P>, such as a type for states, or does it have to have the same "signature" as in the fourth assignment?
von DanielSchoepe
24. Jun 2012 19:02
Forum: Secure Coding Lab
Thema: design problem: event extraction function
Antworten: 1
Zugriffe: 561

Re: design problem: event extraction function

Another possibilty would be an EventExtractor class, which has subclasses that implement a specialized function for each rule. But inside this EventExtractor I would have to check the type dynamically, to decide what concrete event is present, which I also find is not a nice design. That's how I so...
von DanielSchoepe
13. Jun 2012 20:41
Forum: Secure Coding Lab
Thema: Assignment 5: Test2 output
Antworten: 5
Zugriffe: 869

Re: Assignment 5: Test2 output

The idea is that (at least in this case) the event extraction function has access to the program code, so \chi : E_C \times \mathit{Stmt} \to E^* . Thanks for pointing this out. I realize that this question is probably too late, but what do you mean by "in this case"? Is there some general signatur...
von DanielSchoepe
13. Jun 2012 16:11
Forum: Secure Coding Lab
Thema: Assignment 5: Test2 output
Antworten: 5
Zugriffe: 869

Re: Assignment 5: Test2 output

If I understand this correctly, it would mean that the event extraction function would have to have access to the program code, to see which expressions are actually used. However, the the assignment says that the function shall depend on the property and have type \chi : E_C \to E^* . Wouldn't this...
von DanielSchoepe
29. Mai 2012 17:50
Forum: Archiv
Thema: Module 4 slides 14-17
Antworten: 3
Zugriffe: 1556

Re: Module 4 slides 14-17

I realize this is an old thread, but while preparing for the midterm I noticed that I'm a bit skeptical about this explanation: I don't think we actually require that A' \subseteq S' \times O' \times ATTRIBS is ensured after updates, since when defining the induced relation \Longrightarrow it is onl...
von DanielSchoepe
27. Mai 2012 01:11
Forum: Archiv
Thema: Sixth assignment now available
Antworten: 10
Zugriffe: 845

Re: Sixth assignment now available

Test5 expects the return type of runWithCounter to be (a, Int), but the declaration suggests to return only a? Is it possible that you accidentally changed the type of runWithCounter yourself? It has the result type (a, Int) here. I'm stuck at another point: as far as I can see, the method incr onl...
von DanielSchoepe
17. Mai 2012 00:26
Forum: Archiv
Thema: Fifth assignment now available
Antworten: 14
Zugriffe: 819

Re: Fifth assignment now available

You can see what version of GHC you have by running "ghc --version" (even Debian testing only has 7.0.4, so this old-GHC-pitfall is not overly unlikely). Your problem may be simpler though: Remember that the signature of, say, (==) is "Eq a => a -> a -> Bool" and not just "a -> a -> Bool". You have ...
von DanielSchoepe
16. Mai 2012 23:44
Forum: Archiv
Thema: Fifth assignment now available
Antworten: 14
Zugriffe: 819

Re: Fifth assignment now available

I did this, so that the 2 datatypes and the type are depending on a Number n. hence I also had to change the signatur of interp, but now I get an error message for interp for AppE argument, that no instance for (Num n) arise? Depending on how old your GHC (This happens only* with GHCs older than 7....
von DanielSchoepe
16. Mai 2012 17:35
Forum: Archiv
Thema: Fifth assignment now available
Antworten: 14
Zugriffe: 819

Re: Fifth assignment now available

Just for completness: another very helpful hint for that task was: "If you're writing code, you're doing it wrong." (in the sense of writing/changing things that aren't datatype definitions or type signatures).
von DanielSchoepe
14. Mai 2012 23:12
Forum: Archiv
Thema: Fifth assignment now available
Antworten: 14
Zugriffe: 819

Re: Fifth assignment now available

FeG hat geschrieben: are we allowed to use Haskell's standard function (e.g., from base Data.List) to implement the functions we're required to implement in the 2nd part?
If I remember correctly, Andreas said that we could use anything we find in the base package that comes with GHC.
von DanielSchoepe
7. Mai 2012 12:04
Forum: Archiv
Thema: Fourth Assignment
Antworten: 7
Zugriffe: 560

Re: Fourth Assignment

In order to provide stability, shouldn't the comparator function be as follows (in order to provide EQ for stability) ? a -> a -> Ordering In the current implementation, the function (\(k1, v1) (k2, v2) -> k1 < k2) obviously returns false for (2,20)(2,25) and thus indicates that the pairs should in...

Zur erweiterten Suche