semantics aangetikt maar niet gedaan, analysis mee begonnen, skip klaar en compositie ook
[sec1415.git] / versie-0 / project.txt
1 Dat is goed, dan doe ik de syntax, semantiek en analyse. Ik zal het voor donderdag na jou sturen, dan kan je het nog aanvullen als dat nodig is.
2 Voor de semantiek: heb je nu al voorkeur voor ns, sos of iets anders?
3 En voor de analyse: wil je daar hetzelfde programma gebruiken als bij de inleiding of iets anders? en is er een bepaalde eigenschap die we willen bewijzen, of willen we gewoon bewijzen dat het programma doet wat het zou moeten doen?
4
5 Groetjes, Marjolein.
6
7 ----- Oorspronkelijk bericht -----
8 > Van: "Mart Lubbers" <mart@martlubbers.net>
9 > Aan: "marjolein zwerver" <marjolein.zwerver@student.ru.nl>
10 > Verzonden: Dinsdag 18 maart 2014 21:35:05
11 > Onderwerp: Semantiek en correctheid piet
12 > Wat moet er in de opzet:
13 >
14 > - titel
15 > - inleiding(hier moet een voorbeeldprogramma in)
16 > - syntax(evt grammatica)
17 > - beschrijving semantiek(welke)
18 > - analyse
19 > - planning
20 >
21 > welke wil jij doen?
22 >
23 > Mij lijkt de planning en de inleiding met het voorbeeldprogramma wel
24 > leuk om te doen.
25 >
26 > Mart