Semantics and Verification of Software - Lecture

Semantics and Verification of Software - Lecture

-

Documents
371 pages
Lire
Le téléchargement nécessite un accès à la bibliothèque YouScribe
Tout savoir sur nos offres

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

Informations

Publié par
Nombre de lectures 26
Langue English
Signaler un problème

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 corpo con due mani hands
badilj (2) lopata pala shovel
badiljat, badiljati lopatati spalare to shovel
veliki kotao za kuhati
badonj pignattone, calderone cauldron
svinjama
bafera oluja bufera storm
bagalj, bagalji prtljaga bagagli baggage
bagulin mala mandolina piccolo mandolino small mandolin
wooden bucket for baj čabar za rublje bugliolo
clothes
bajador, bajadur ba čva barile barrel
barile affusolato a tapered cone shape
bajadura ba čva stožastog oblika
forma di cono type barrel
bajdur ba čva barile
bajduri č mala ba čva piccola barile small barrel
bak (1), bakin bik za rasplod toro bull
bak (2) vrsta bazga, zova tipo d’albero type of elder tree
bakalaj bakalar (riba) baccalà cod fish (dried)
podrignuti, podrigivati
bakati «kako ba češ!» «pa kako si eruttare, rutto to belch, burp
podrignula!»
baketa pruti ć banchetta stick
bakin (1) bik toro bull
bakin (2), bukin usnik lule ili cigarete bocchino cigarette holder
ku ćna gamad, žohari,
bakuli, mr čes baccoli, scarafaggi cockroaches
buhe, stjenice
bakuli u glavi kukci u glavi pazzo crazy kukci, kukac. Ova rije č
se upotrebi na primjer
bakuli, bakuja «samo
kada neko ne sluša
imaš neke svoje pazzo crazy
aktivno u jednom
bakule po glavi»
razgovoru nego samo
na svoje ideje misli
bakva vrba salice willow
bal ples ballo dance
bala (1) lopta palla ball
prizmati ćni svežanj
bala (2) mucchio di fieno ball of hay
slame, sjena
baladur, baladura balkon balcone balcony
baladurica mali balkon piccolo balcone small balcony
balanser, pre čka za parte del carrello di un
balancin, bulancin part of a farmer’s cart dvopreg coltivatore, bilancio
balansirat održat ravnotežu bilanciare to balance
četiri grede vanjskog quattro travetti esterni four outside joists of a
balaštranjaki
djela prozora per finestra window
balbetat, balbetati mucati ciarlare blabber
balda sjekirica ascia axe
baldorije orgije, ludorije baldorie confusion
merda di vacca, palla
balega kravlji drek cow shit
di letame cow shit, lump of cow baleh kravlji drek
di letame manure
balerina, balerin plesa čica, plesa č ballerina, ballerino ballerina (female/male)
balkon, podest, terasa
balidor pergolo balcony
za na kat
loptica, naboj, metak,
balin pallino ball bearing
tane
olovne loptice od
balini (1) metaka za lova čku pallini shot
pušku
balini (2) loptice strojnog ležaja baleniera ball
balkon balkon pergolo, balcone balcony, porch
balon (1) velika lopta palla ball
balon (2), balun Istarski ples ballo Istriano Istrian dance
balota lopta palla ball balotaši bo ćari giocatori di bocce bocce players
balote bo će, kugle bocce bocce balls
balote metci, tanad pallottole musket balls
balotice kuglice (igra čke) palline small balls
balun, balon istarski ples ballo folclore istriano istrian folk dance
camminare nel fango e
baljuzgat, baljuzgati gacati po blatu i vodi walk in mud and water
acqua
u prljavoj vodi se igrati to play in a puddle of
baljuzgati giocare pozzanghera
i škropiti water
banak stol tavola table
četiri grede vanjskog quattro travetti esterni four outward joists of
banaštranjak
djela prozora per finestra window
instrumentalni sastav
banda (1) banda musicale musical band
pleh muzike
banda (2) skupina kriminalaca banda criminale criminal band
banda (3) strana lato side
bandera (1) zastava, barjak bandiera flag
bandera (2) rasvjetni stup palo della luce pole
appendere una
banderat, banderati kititi, kin đuriti bandiera, decorare, hang a flag, decorate
sbandierare
bandeta zuluf basettone, basette whiskers, sideburns
bandira zastava, barjak bandiera flag
razbojnik, plja čkaš,
bandit bandito bandit
odmetnik
svojeglavac,
bandoglavac svojemislilac, di testa propria independent thinker
nastrani tip
bandonat, bandonati napustiti, zanemariti abbandonare abandon
genere di canna che kind of cane that
banestri brnistra, žuka cresce vicino all'acqua grows near water for
usata per far scope making brooms
banket sve čana gozba banchetto banquet
bankina (1) klupa banchina bench
obcestni zidi ć (na muro protettivo protective road wall at
bankina (2)
zavoju) stradale sulle curve curves
bankrot slom, propast, krah banca rotta bankrupt pantaloni stretti narrow heavy woolen
uske suknene hla če
banovreki pesanti di lana pants (national
(narodna nošnja)
(costume nazionale) costume)
banja (2) toplice, terme bagni baths
banja (1) kada vasca da bagno bath tub
banjak (1) klupa (višesobna) bancherella bench
tavolo da gioco di
banjak (2) stoli ć pri kartanju table for playing cards
carte
scrivania, pannello,
banjak (3) pult cassa, controlli desk, panel, counter
pannello
banje, banji toplice terme spa
kartaška igra gioco di carte, type of card game, for banjkuc
(hazardna) d'azzardo money
nevaljalac, propalica, baraba barabba barabbas
ološ (baraba kalfa)
palla dura del fiore di
baraboska hrastov cvijet loptica oak bloom ball (hard) quercia
baraka provizorna daš čara baracca shanty
barakin kiosk capanna news stand, shack
željezno svrdlo za sbarra dell’ ferro per steel bar for manually
baramina da creazione buca nel making holes in the ru čno bušenje rupa u
pietra con mani rocks kamenu
sjemenica vinove loze vite dell'acino d'uva al grape vine in front of
baras
pred ku ćom fronte di casa the house
upravljati, mešetariti s
baratat, baratati (1) barattare work (not seriously)
ne čim
baratat, baratati (2) zamijeniti cambiare exchange
barba stric zio uncle
barbadobrijan dje čji dobro činitelj buono zio good uncle
barbadoš strašilo za djecu babau scary character
barbarižam barbarizam barbarismo barbarism
barbier brija č barbiere barber
barbir, barbier brija č, frizer barbiere
bradati čovjek, uomo con barba,
barbuc bearded man, goatee
neobrijana brada barbetta
čovjek sa dugom uomo con grande
barbun man with big beard
bradom barba
pre čka za osigurati
bardun saliscendi interno inside latch
vrata iznutra