Semantics and Verification of Software - Lecture

Edward Brumgnach And Milan Saric

Description

• cours magistral
• exposé

Semantics and Verification of Software Lecture 13: Axiomatic Semantics of WHILE V (Semantic Equivalence) Thomas Noll Lehrstuhl fur Informatik 2 (Software Modeling and Verification) Winter Semester 2011/12

• syntactic derivation
• following propositions
• finite subset of program
• encoding of states by assertions
• hoare rules
• axiomatic equivalence
• partial correctness properties
• software
• semantics

Sujets

• Cours magistral
• Exposé
• Academic term
• Semantics
• Équivalence
• Correctness
• Partial
• Software
• State
• Subset
• Following

Informations

• Publié par: urgie
• Nombre de lectures: 26
• Langue: English
• Poids de l'ouvrage: 1 Mo

Extrait

Milan (Milijo) Šari ć
Edward Brumgnach
Contributors of many Istrian words
Šime Ruži ć - Sud čev
Birgitta Gr őndlund
Janko Crljenica
Dinko Š. Kalac
Davor Šišovi ć
Bepi Šterpin
others

Istrian - Croatian - Italian - English Dictionary
Istarsko - Hrvatski - Talijanski - Engleski Rje čnik
Istriano - Croato - Italiano - Inglese Dizionario
Istrijanski - Hrvacki - Talijanski - Ingleški Besidarnik
10 000 +
Istrijanskih Besid
Istarskih Rije či Parole Istriane
Istrian Words

© Copyright 2002
Microsoft Word file: ICIE Dictionary Rev3.doc
To translate any word of these languages to Istrian click on Edit, Find,
type word, Find Next and Find Next again, Find again....... and again
If word not found in Istrian is most likely the same as in Croatian.
Columns can be sorted in any order with click on wanted column, Table, Select Column , SORT
However...... some Croatian letters with accents will not be sorted properly unless Croatian
language is selected and set in MS Word.
If you do the sorting please do not save unless you rename the file for your own use.
Columns can be moved to any order with click on Select Column and dragging anywhere wanted.
With Croatian words listed there are also some Serbian words
Croatian, Italian (Italy) and English (USA) spell check software was used
Note: Istrian is by many in Croatia considered as a dialect of the Croatian language.
Words listed here are from various Istrian dialects spoken in different parts of Istria. Many originated
from Italian and others mostly from Slavic languages. Rumanian language (Vlach) words spoken in
some parts in Istria are not listed here because Istro-Rumanian is considered a language in its own
right.
Bilješka: Istarski je od mnogih i u Hrvatskoj smatran kao dijalekt hrvatskog jezika. Rije či ovdje
upisane su iz raznih dijalekata govorenih u raznim krajevima istre. Mnoge potje ču od talijanskog a i
drugih najviše slavenskih jezika. Rumunjske (vlaške) rije či govorene u nekim dijelovima istre ovdje
nisu upisane jer se Istro-rumunjski smatra posebnim jezikom.
Nota: L’Istriano è da molti in Croazia estesamente considerata un dialetto della lingua Croata.
Parole elencate qui provengono da diversi dialetti Istriani parlati in differenti parti dell’Istria. Molte
parole provengono dall’ Italiano ed altre dalle lingue slave. Parole provenienti dalla lingua rumena
(Vlach) usate in alcune parti dell’ Istria non sono elencate qui perché l’Istro-rumeno e’ considerata
una lingua in se’ stessa.
Istrijanski Hrvacki Talijanski Ingleški
Istarski Hrvatski Talijanski Engleski
Istrian (Slavic) Croatian Italian English
Istriano (Slavo) Croato Italiano Inglese


A abdikat, abdikati odre ći se abdicare abdicate, renounce
abil sposoban, prakti čan abile, pratico able, capable
abonat se, abonati se pretplatiti se abbonare subscribe
abonont pretplatnik abbonato subscriber
a čent naglasak, aksenat accento accent
a čentat naglasiti accentuare accentuate
afrikanski, afrikonski afri čki africano African
agilan spretan, brz agile agile
aguvaj nikad mai never
aha da da si yes
ajde hajde vai vai, andiamo come on, let’s go
ajmemeni jao meni povero me poor me
ajutante, ajutont pomo ćnik aiutante helper
akonto na ra čun su conto on account
akordati složiti se andare d'accordo to agree
aks osovina asse shaft
aku ako se if
akužat, akužati prijaviti, tužiti riportare, accusare report, accuse
akvedot, akvidot,
vodovod acquedotto aqueduct
likvidot
akvila orao aquila eagle
akvištat, akvištati nabaviti acquisire acquire
ala i kako, hajde vai vai, andiamo let's go
ala su, ala šu hajde let's go
alabona tek toliko alla buona simply
aleati suradnici alleati allies
ali ili, ali oppure or
alkol alkohol alcool alcohol almeno barem almeno at least
alora onda allora then
altilerija Artiljerija artiglieria artillery
altroke itekako, dabome altro che even more
Amalija, Malija Amalija (žensko ime) Amalia name Amalia
anci u prvom redu, dabome anzi even better
an đel, an đeo angelo angel
an đeli ć mali an đeo angelino small
anemik slabokrvan anemico anemic
angoš, angušt august, kolovoz agosto August
angurija, angurja lubenica anguria watermelon
angušt kolovoz agosto August
anke tako đer anche, pure also
ankora (1), unkora još ancora (1) some more
ankora (2) sidro, kotva ancora (2) anchor
anlaser starter, pokreta č motorino d'avviamento starter, starter motor
antipatik, antipatiko antipati čan antipatico unlikable, unpleasant
antonš čak sije čanj gennaio January
antošnjak sije č
apel poziv javnosti appello appeal
apel (2) proziv, prozivka fare l'appello call the roll
apena, pena tek appena us soon as, just us
na mjestu, sre đen
apošto fisso, apposto in place
(negativno, pozitivno)
arat zanat professione profession
arbašpan, arbašpanja djetelina trifoglio clover
arbeta repa barbabietola beets
arbikoke kajsije albicocchi apricots arcitat lopov nad lopovima vero bandito top bandit
arditi policija (fašisti čka) ardenti ardent
Ar đentina Argentina Argentina Argentina
arija, arja zrak aria air
armira či, tesari u supports installing
armadori armatori
rudniku crew in a mine
armadura skela impalcatura scaffold
arman, armon naoružan armato armed
armarun, armaron ormar armadietto cabinet
armatiš reuma reumatismo rheumatism
arogante prepotentan arrogante arrogant
il travetto superiore the upper joist of a
arpeš gornja greda prozora
della finestra window
aršenol, varšina,
brodogradilište arsenale arsenal
varšinal
aršin lakat mjera misura del gomito elbow measure
artifi čalno neprirodno, umjetno artificiale artificial
artikoli članci articoli articles
artišt, artišta (1) umjetnik artista artist
artišta (2), artižon zanatlija, majstor artigiano artisan
aš (1) jer, pošto perché because
aš (2) prvak u bilo čemu vincitore in tutto winner in everything
aš (3) as u kartama asso ace
ašoluto apsolutno assolutamente absolutely
ašto jer, pošto perché because
ašvalt asfalt asfalto asphalt
ašvaltat, ašvaltati asfaltirati asfaltare to
atenti, atento oprezni, oprezno attenti, attento careful, watch out
Atilio / Tilio muško ime Attilio name Attilio
augurat, augurati čestitati augurare to wish aula školska dvorana aula school room
aura na glavi svetaca aura aura
austrijski, austrijonski austrijski austriaco Austrian
autroštrada autoput cesta autostrada highway
avantirišt, avanturišta pustolovac avventuriero adventurer
avantura pustolovina avventura adventure
aventor mušterija cliente client
aviz, aviž obavijest avviso notice
avizivati, aviživati, obaviještavati,
avvisare notify
avizati, avižati upozoravati
avjacija zrakoplovstvo aviazione aviation
avjatik zrakoplovac aviatore aviator
avrija travanj Aprile April
azpunta brizgalica iniezione injection
ažija azija Asia Asia
ažilo dje čji vrti ć asilo infantile kindergarten
B
baba (1) baka (starija žena) baba, nonna common older woman
baba (2) baka nonna grandmother
babetina loš naziv za žensko donnaccia bad common woman
nakovalo za klepati incudine per plasmare anvil for shaping
babica
kosu falce fienaia scythe
babin pas, pos duga arcobaleno rainbow
palla dura del fiore di
baboška hrastov cvijet loptica oak bloom ball (hard)
quercia
babulj, babulji kamen, kamenci pietre rocks
throw stones at one
babuljat, babuljati kamenovati se battersi con pietre
another
bacilati, baciljat, mariti, brinuti prendere cura care
baciljati
small wagons used in
ba či čeli čni vagoni vagonetti
mines
badanj ba čva barile barrel badar bodar svegliato awaked
badat, badati (1) brinuti, starati se badare give attention to
poslušati, raditi po
badati (2) ubbidire obey
naredbi
stupovi za vrata i travetti per finestre e joists for windows and
badeštomnjaki
prozore porte doors
nosilo za nositi carrello di legno wooden deep tray to
materijal ispred tijela profondo per portare carry material in front
badilj (1)
sa dvije ruke, materiale di fronte al of the body with two
napravljeno od drva c