lecture 9 - york university
TRANSCRIPT
![Page 1: LECTURE 9 - York University](https://reader036.vdocument.in/reader036/viewer/2022081403/629268a2972ec45ce8290337/html5/thumbnails/1.jpg)
LECTURE 9MONDAY FEBRUARY 3
![Page 2: LECTURE 9 - York University](https://reader036.vdocument.in/reader036/viewer/2022081403/629268a2972ec45ce8290337/html5/thumbnails/2.jpg)
- Labtest 1: * Birthday Book * MATHMODELS * Iterator Patterns: Two Tutorial Series↳REL TYLER→
![Page 3: LECTURE 9 - York University](https://reader036.vdocument.in/reader036/viewer/2022081403/629268a2972ec45ce8290337/html5/thumbnails/3.jpg)
i.÷÷÷÷÷÷÷:a:* ÷÷÷÷÷÷÷÷÷÷ii¥m÷÷way l"mark '
* key toexist
![Page 4: LECTURE 9 - York University](https://reader036.vdocument.in/reader036/viewer/2022081403/629268a2972ec45ce8290337/html5/thumbnails/4.jpg)
Testing REL in MATHMODELS'" E -
![Page 5: LECTURE 9 - York University](https://reader036.vdocument.in/reader036/viewer/2022081403/629268a2972ec45ce8290337/html5/thumbnails/5.jpg)
override ( s : SEK PAIR . - s)
overridden ( s : SET ether . - s) .- RELLGi-B
r . override ( s) → command- does not return
↳ not to be used
" overridden ( s) . domainin contract
![Page 6: LECTURE 9 - York University](https://reader036.vdocument.in/reader036/viewer/2022081403/629268a2972ec45ce8290337/html5/thumbnails/6.jpg)
V. overridden (KL ''d's too] , [' 'E''shoo]Do - -
/ Lasko) (9,200)
relation d ,-7"
vs . ↳ v2
fmc→d, -74
![Page 7: LECTURE 9 - York University](https://reader036.vdocument.in/reader036/viewer/2022081403/629268a2972ec45ce8290337/html5/thumbnails/7.jpg)
all_positive_values (a: ARRAY[INTEGER]): ARRAY[INTEGER] require no_duplicates: ?? ensure across Result is x all x > 0 end
°'÷¥¥÷÷÷¥¥⇐÷④÷¥t÷÷÷÷÷:÷.
![Page 8: LECTURE 9 - York University](https://reader036.vdocument.in/reader036/viewer/2022081403/629268a2972ec45ce8290337/html5/thumbnails/8.jpg)
Writing Postcondition: Exercise
all_positive_values (a: ARRAY[INTEGER]): ARRAY[INTEGER] require no_duplicates: ?? ensure across Result is x all x > 0 end
'
÷!.. .real.nn⇒→:÷÷÷:÷
.
![Page 9: LECTURE 9 - York University](https://reader036.vdocument.in/reader036/viewer/2022081403/629268a2972ec45ce8290337/html5/thumbnails/9.jpg)
all_positive_values (a: ARRAY[INTEGER]): ARRAY[INTEGER] require no_duplicates: ?? ensure across Result is x all x > 0 end
"
÷÷÷:÷÷÷÷÷÷÷÷i÷÷IahEEHhhaB⑦me
![Page 10: LECTURE 9 - York University](https://reader036.vdocument.in/reader036/viewer/2022081403/629268a2972ec45ce8290337/html5/thumbnails/10.jpg)
all_positive_values (a: ARRAY[INTEGER]): ARRAY[INTEGER] require no_duplicates: ?? ensure across Result is x all x > 0 end
"
faena.is#.faT*.nascnD9.9"" µ÷¥.←
aRest
![Page 11: LECTURE 9 - York University](https://reader036.vdocument.in/reader036/viewer/2022081403/629268a2972ec45ce8290337/html5/thumbnails/11.jpg)
⑤"
... .
= DET A TES
e:&:¥÷÷¥¥me
Tonalso in
a .
Pos .
![Page 12: LECTURE 9 - York University](https://reader036.vdocument.in/reader036/viewer/2022081403/629268a2972ec45ce8290337/html5/thumbnails/12.jpg)
all_positive_values (a: ARRAY[INTEGER]): ARRAY[INTEGER] require no_duplicates: ?? ensure across Result is x all x > 0 end
tall- pos- in- a- in- result :
-
across a I n alt
adn >0 implies Result
.hash,
a"-
in
::":¥¥¥n::" an:÷. .
end.
resolution : FduphT¥f : ? ?
![Page 13: LECTURE 9 - York University](https://reader036.vdocument.in/reader036/viewer/2022081403/629268a2972ec45ce8290337/html5/thumbnails/13.jpg)
HMMoccurred
![Page 14: LECTURE 9 - York University](https://reader036.vdocument.in/reader036/viewer/2022081403/629268a2972ec45ce8290337/html5/thumbnails/14.jpg)
f-require require✓↳ attributes
locale¥::ii!ie )..↳ x old :
entire ensure
↳ attributes end↳ quires↳lxbcalva.to↳ V old -
![Page 15: LECTURE 9 - York University](https://reader036.vdocument.in/reader036/viewer/2022081403/629268a2972ec45ce8290337/html5/thumbnails/15.jpg)
domain range
“Alan”
“Mark”
“Tom”August-11
October-15
Model of an Example Birthday Book
May-21
“Jim”
- → Hak , Tom
aunt"
÷÷n÷:D.it#IH-so-
![Page 16: LECTURE 9 - York University](https://reader036.vdocument.in/reader036/viewer/2022081403/629268a2972ec45ce8290337/html5/thumbnails/16.jpg)
Birthday Book: Design→""
t.su#iEiiii;oSTEEG
.
¥
' '@
#
remind: -
jug,yq 1¥remind: ARRAY E -I