IN 2100 Oppgavesett 9
Oppgaver fra læreboken
152, 155, 156, 157, 158, 159, 161, 162 og 164.
Husk at vi bruker OO direkte (omod ... is ... endom) i Maude
i stedet for å bruke Full Maude. Ikke minst kan du bruke Maude-OO i
oppgave 152, hvor du tar utgangspunkt i spec'en i filen
population.maude.
Noen moduler du kan bruke og utvide:
population.maude (til
oppgave 152),
phil-maude33-public.maude
(til oppgavene 155-157),
blackjack-public.maude
(til oppgavene 158-164).
peterol@ifi.uio.no