vimalus, arvutiprogrammi, kitumise, uurimiseks, dnaamiline, anals, mille, kigus, programm, kivitatakse, ja, huvitav, olukord, kutsutakse, esile, teine, staatiline, milleks, programmi, ei, kivitata, vaid, selle, kohta, tehakse, jreldusi, niteks, lhtekoodi, phjal, staatilisel, programmianalsil, mitmeid, eeliseid, seda, teostatakse, erinevatel, phjustel, kompilaatorid, analsivad, kompileeritavaid, programme, et, neid, automaatselt, optimeerida, iteks, asendatakse, korduvalt, esinevaid, avaldisi, abimuutujatega, vltides, sama, avaldise, mttetut, taasvrtustamist, ingl, common, subexpression, elimination, ned, programmide, vead, esinevad, vga, spetsiilistel, juhtudel, vi, raskesti, esilekutsutavad, nt, mitmelimelisusega, seotud, nende, avastamiseks, kasutatakse, staatilist, analsi, sest, dnaamiliselt, liiga, keeruline, avastada, findbugs, otsib, java, programmidest, erinevaid, vigu, korrektsuse, nitamisel, testamaks, selles, teatud, tpi, kindlasti, esine, testada, programmis, puuduvad, mramata, implementatsioonispetsiiisest, kitumisest, phjustatud, titmisaegsed, andmevooanals, data, ow, analysis, ks, intuitiivne, meetod, staatilise, programmianalsi, teostamiseks, keskseks, ideeks, mrata, vimalikud, seisundid, igal, titmise, sammul, denitsioon, domeeniks, nimetatakse, kikvimalike, seisundite, hulka, seisundiks, muutujate, vrtused, aga, ka, mistahes, keerulisemad, uuritavad, omadused, hetkel, hoitavate, lukkude, hulk, kttesaadavate, omistamiste, available, assignments, andmevooanalsiks, juhtimisvoograa, control, graph, jrgida, seisundit, muutumist, erinevate, tvoogude, jooksul, ldiselt, vimalik, analsiga, alati, tpselt, oleks, samavrne, kivitamisega, seetttu, abstraktset, interpretatsiooni, abstract, interpretation, mis, ttab, ligikaudsete, seisunditega, moodustavadabstraktse, domeeni, vib, arvuhulkade, asemel, vaadelda, intervalle, uurida, lineaarvrratusi, vahel, poleedri, domeen, abstraktse, igeks, toimimiseks, vajalik, kasutatav, abstraktne, rahuldaks, omadusi, vimaldavad, andmevooanalsi, teostada, sobiva, http, sourceforge, www, astree, ens, fr, vrrandissteemi, lahendamise, teel, ligikaudsusele, vaatamata, lubab, teooria, selline, korrektne, thendab, kui, uuritavast, programmist, otsitavat, viga, leita, siis, olla, kindel, priselt, ole, hdavajalik, teostav, analsaator, ise, implementeeritud, korrektselt, vastasel, juhul, teostatavate, analside, tulemused, usaldusvrsed, korrektsed, goblint, mitmelimeliste, eesmrk, kasutades, selleks, goblinti, autoritele, teada, kitu, oodatud, viisil, teha, vivad, rikkuda, eesmrgiks, koostada, levaatlik, abstraktsete, domeenide, omaduste, komplekt, leida, goblintis, domeenidest, kontrollides, vastavate, kehtimist, omadusphise, testimise, abil, esimeses, peatkis, antakse, levaade, mistest, esitatakse, vajalikud, denitsioonid, tuuakse, niteid, lisaks, kirjeldatakse, terviklikku, rolli, teises, matemaatilised, mida, testimisel, kontrollida, ksitletakse, efektiivsuse, abstraktsioonide, temaatikat, ning, tiendavaid, kolmandas, selgitatakse, metoodikat, abstraktseid, domeene, analsaatoris, domeenides, tehtud, tiendusi, puks, viiakse, lbi, testimine, autori, panuseks, vimalikult, suure, samas, universaalse, testitavate, komplekti, moodustamine, praktilise, osana, tiendati, goblintit, nii, omadusphist, testimist, implementeeriti, testid, viidi, phimtete, selgitamiseks, parim, viis, illustreeriva, nite, lbitegemine, seejrel, samm, sammult, formaliseeritakse, tehtu, matemaatiliselt, kuna, sissejuhatuses, antud, informaalne, ebapiisav, mingisuguse, arendamiseks, nide, olgu, edaspidi, vaatluse, jooniselt, kus, krvuti, keelse, jupp, juhtimisvoograaf, tippudes, punktid, milles, seisundeid, uuritakse, servadel, vastavad, laused, tidetakse, lihtsuse, mttes, vaadeldakse, ilma, protseduurideta, intraprocedural, rgnevalt, ksitsi, analsitud, tisarvuliste, vimalike, vrtusi, igas, punktis, muutujaid, deklareeritud, seega, vrtustest, saa, rkida, muutujaxvrtust, heselt, tuleb, juhuarvu, funktsioonistrand, kuid, jgiga, jagamise, tulemusena, kindlastix, vahepeal, vrtustamata, muutujay, millel, keele, semantikas, vaikevrtust, tingimus, oli, tene, vr, saab, eelnevast, hulgast, vlistatud, nulli, eemaldamisel, elda, harus, jtkuvalt, teades, vimalikke, muutujaxvrtusi, liitmistehte, kaks, vimalikku, tingimuslause, haru, uuesti, kokku, saavad, arvestada, mlema, vrtustega, muutuja, muutujayvrtusi, korrutamistehte, tpne, iga, muutujaga, seostatud, vikseim, vrtuste, iseenesest, poleks, vale, mnes, mne, seostada, suuremat, sellisest, analsist, semantika, siinkohal, keerukas, negatiivsed, jgid, rand, funktsioon, tagasta, negatiivseid, arve, int, xrand, keelne, lhtekood, joonis, tsklita, nidis, vhem, kasu, sisse, ebavajalikku, ebatpsust, ongi, formaliseerida, sellise, tpse, teostamine, omakorda, aluseks, teoreetiliseks, automatiseerimiseks, kirjeldamiseks, matemaatilisi, struktuure, vredeks, kuigi, vreteooria, arvestatav, matemaatika, sgavamale, laskumata, siin, toodud, misted, vredest, aru, saamiseks, rgnevad, eestikeelsed, refereeritud, laane, loengukonspektist, aines, reteooria, thistused, kohandatud, kirjandusele, omaseks, osaliselt, jrjestatud, paar, kusaon, deneeritud, binaarne, seos, korral, rahuldab, jrgnevaid, tingimusi, av, reeksiivsus, bja, bv, transitiivsus, antismmeetrilisus, puhul, osalist, jrjestust, tpsuse, vrdlemiseks, kokkuleppeliselt, jrjestatakse, tpsemast, ebatpsema, suunas, kirjutisa, seisundakirjeldab, olekut, tpsemalt, seisund, teiste, snadega, kirjeldaba, kirjeldada, elementicnimetatakse, hulgax, lemiseks, tkkeks, korralxv, himat, lemist, tket, nimetatakselemiseks, rajaks, stx, lemise, tkke, dkorral, cv, alumiseks, korralcv, suurimat, alumist, nimetataksealumiseks, alumise, dv, hulgaxlemist, raja, thistatakse, vastavaltf, xjadx, kuix, fa, lemine, alumine, vastavalt, au, lemisi, tkkeid, mitme, seisundi, hendamiseks, nagu, vaja, joonise, seejuures, tahetakse, loomulikult, tpseimat, hendatud, hendatavate, ielik, vre, alamhulgal, leidub, ielikus, vres, vhim, element, aja, suurim, vastavaltbottomiks, jatopiks, tegelikult, tuleneb, tielikes, vredes, kik, rajaga, seonduv, lemisest, rajast, domeenidelt, nutaksegi, tielikud, vred, sellega, kaasnevad, lal, kirjeldatud, vimalused, ttamiseks, kirjeldab, kige, ldisemat, ehk, oleku, mitte, midagi, vimatut, tpiliselt, saavutamatu, unreachable, punkt, kuhu, titmisel, kunagi, jutagi, thistagudmingit, parasjagu, vaadeldavat, millega, kib, ilmutamata, kaasas, tielik, imalikke, hulkade, olgushulk, alamhulkade, domeeniksle, hulgasnimetatakse, osaline, jrjestus, osutub, sna, loomulikul, a[, ub, a\, mratud, omavahelise, sisalduvuse, kaudu, viksem, tpsem, analsis, oligi, tisarvude, domeenid, toimunud, muutujayseisundite, hendamine, vrede, terminites, analsimiseks, domeeniga, kahte, tehted, konstantide, abstraheerimine, lausey, st, muutujagay, elemendi, seostamiseks, esinev, konstant, sobivalt, abstraheerida, isarvude, domeenis, sobib, konstantse, vrtuseajaoks, ilmselt, aritmeetika, teostamisks, liitmine, muutujaxseisundif, gja, konstandi, seisundif, elementide, liitmise, deneerida, sarnaselt, lejnud, matemaatiliste, vahenditega, nites, sstematiseerida, siiski, kasutatud, korraga, ainult, vrtuseid, muutujatevahelisi, toiminguid, otseselt, peab, ikkagi, domeenivliselt, teostama, veelgi, parem, tervet, kigi, saaks, keerukama, elementidena, vetaksegi, kasutusele, kujutused, olguvarprogrammi, javaldomeen, ksiku, sel, vtta, vrtustuste, var, val, elementideks, analoogilised, konkreetsete, vrtustustega, funktsionaalselt, kirjeldatuna, kakujutusdomeeniks, tehislikult, lisatud, moodustaks, tieliku, saavutamatut, punkti, don, kujutusdomeeni, kasutamisega, lihtsama, hte, muutujat, laiendada, kigile, muutujatele, joonisel, olid, muutujad, fx, domeenisval, sellises, kujutuste, saabki, lpptulemus, nidatud, tabelis, tabel, niteprogrammi, kogu, kirjeldavaid, elemente, avaldised, juhtimisvoograas, kirjeldatavad, funktsioonidena, lhteseisundist, sihtseisundisse, nimetatakseleminekufunktsioonideks, transfer, function, jrgnevad, d[x, ][, tf, d[y, d[z, kirjutisd[x, v]thendab, funktsiooni, uuendamist, update, argumendil, xomab, vrtust, vja, argumentidel, funktsioond, aritmeetilised, sellised, sisemises, leminekufunktsioonid, lausete, avaldiste, struktuuri, mallide, jrgi, mehaaniliselt, konkreetse, analsil, toimub, automatiseeritult, rede, tehete, leminekufunktsioonide, formaliseeritud, suur, osa, esialgses, intuitiivselt, tehtust, tielikult, automatiseeritud, analsini, jnud, veel, viimane, vimaldaks, algoritmiliselt, igepealt, peavad, paigas, olema, domeend, vimeline, kirjeldama, uuritavaid, deneerimise, protsess, programmeerimiskeele, lausetest, olemasolul, jrgnevate, sammudega, punktiijaoks, muutujax, vastab, otsitavale, abstraktsele, seisundile, servak, ijaoks, kseeritud, protsessi, leminekufunktsioontf, nda, serva, jaoks, moodustada, vrratuse, xi, otsitav, ebatpsem, konkreetne, leminek, ette, neb, leminekutele, koostatakse, vrratus, alguspunkti, kujul, algseisundit, neist, vrratustest, moodustub, ssteem, vasakul, hel, vajadusel, vrratusi, parema, poole, lemraja, hendades, kusf, non, moodustatud, vrratuste, parematest, pooltest, leminekufunktsioonidest, lemrajadest, lhemalt, kirja, panna, hoopis, tielikku, vredn, positsioonilion, punktiiseisund, punktiviisiliselt, muutujaks, funktsioonid, eelnev, heks, ainsaks, vrratuseks, eeldatakse, funktsioonidf, ija, kaudselt, fon, monotoonsed, nad, silitavad, rakendamisel, tpsusega, olgud, hulgad, funktsioonif, monotoonseks, igaa, saadud, vrratusele, algsele, ssteemile, lahend, sisaldab, sobiv, htlasi, tpseim, millest, enim, nidata, vrrandi, vhima, lahendi, leidmisega, psipunkti, leidmiseks, lige, lihtsam, kleene, psipunktialgoritmi, alustab, vrtusest, jrjest, ikorral, arvutab, kuni, lpuks, jutakse, kaugele, mingiikorral, stabiliseeruvad, edasi, rakendamine, tulemust, muuda, leitud, lahendist, vlja, lugeda, analsimisel, vrrandite, ssteemid, algseisundon, konstantne, kujutus, iteratiivne, lahendamine, lisas, nha, algoritmiline, judis, tulemuseni, samast, paistab, algoritm, ebaefektiivne, stabiliseerumine, palju, samme, kord, arvutatakse, enam, muutu, olemas, efektiivsemaid, meetodeid, robinjaworklist, algoritmid, sellegipoolest, vaadeldud, praktiline, arvuliste, suured, lausa, lpmatud, lpmatuid, hulki, efektiivselt, esitada, nendega, opereerida, loobutakse, limast, tpsusest, ebatpsemaid, analsaatorisse, implementeerida, muudeks, analsideks, mistlikult, kasutada, neil, oluline, abstraheerimise, uurimisel, intervalldomeen, abstraheerimiseks, arvtelje, abstraktsioon, arvuhulkadega, vrreldes, efektiivsem, olles, samaaegselt, praktikas, piisavalt, intervalldomeeniks, f[l, ]j, ug, [l, [min, fl, max, fu, [max, min, minfu, intervallide, lem, alamraja, likude, hend, hisosa, analoogiliselt, igu, otspunktides, lubatud, lpmatust, kirjeldavad, suurimast, elemendist, hlmab, kiki, tisarve, tinglikult, moodusta, probleem, pisut, tiendatud, gosutub, tielikuks, vreks, konstantsele, tisarvulisele, vrtuseleavastab, intervall, intervallidel, samuti, erinevad, moodustades, intervallaritmeetika, likude[, korrutamise, tehtest, ilmneb, deneerimine, keerulisem, kusjuures, deneerima, juhud, mned, otspunktidest, valides, eelnevas, seekordval, taaskord, seekord, operatsioone, samasuguse, algoritmilise, intervalldomeeni, kasutamine, kaob, informatsioon, mni, vrtus, ligu, keskelt, esineda, htegi, ekslikult, intervalldomeenis, omadusedselles, ldised, kataks, universaalselt, kontrollitavaid, aspekte, kuuluvad, tielike, spetsiilised, abstraktsiooni, rahuldama, rgnev, erinevatest, omadustest, tielikel, vredel, kehtima, dtielik, tingimused, osalise, jrjestuse, denitsioonist, rajade, cja, assotsiatiivsus, bt, kommutatiivsus, idempotentsus, neelduvus, hima, suurima, rjestuse, seosed, ekvivalentsed, kitsendaminepeatkis, nnestus, tskliteta, analsida, vastava, ssteemi, leidmata, lihtsalt, huvitavamad, programmid, sisaldavad, tskleid, leidmisel, phinev, kasulik, nd, tskliga, intervalldomeeniga, tx, ]], psipunkt, leitakse, itereerimisel, sisuliselt, tskli, iteratsiooni, mistttu, leidmise, ajaline, keerukus, ono, kuskon, iteratsioonide, arv, ebaefektiivsus, vastuvetamatu, justkui, simuleerimine, vastuolus, eesmrgiga, keerulisemate, isegi, termineeru, laiendamine, probleemi, phjuseks, asjaolu, rahulda, kasvavate, jadade, stabiliseerumise, tingimust, ascending, condition, leiduvad, rangelt, kasvavad, ahelad, lahendid, meetoditel, laiendamise, tulemus, kitsendamise, vastav, range, bthendab, etav, sipunkti, iteratsioonil, tsklis, lik, suureneb, vrra, stabiliseerumiseks, lheb, soovitust, rohkem, iteratsioone, lahendamiseks, muudetakse, analsimist, leidmine, toimuks, kiirendatult, tuues, meelega, tiendava, ebatpsuse, sellist, vtet, laiendamiseks, widening, lahendatav, kirjutatakse, samavrsel, akumuleerival, xt, asemele, valitakse, sobivlaiendamise, operaator, tja, otsitakse, vrrandile, deneeritakse, jrgnevalt, u], kuil, muidu, kuiu, idee, seiseb, suurenedes, kohe, vastavas, lpmatusse, garanteerides, suureneda, limalt, korda, muudab, lplikeks, modikatsiooniga, juba, algoritmi, hest, kljest, vit, teisest, kaotus, eelnevalt, kitsendamine, monotoonne, psipunktile, ebatpsemaks, ebatpset, laiendatud, parandada, kitsendamiseks, narrowing, eelmisele, lahendile, kitsendamist, rakendades, stabiliseerub, judes, laiendamist, kasutamata, pruugi, tulemuse, tpsust, suurendab, ikka, kitsendamisel, tekkida, analoogiline, kahanevate, tingimusega, descending, lpmatute, ahelatega, korduv, mistliku, sammude, arvuga, stabiliseeru, lpetada, analoogilist, xu, sobivkitsendamise, uja, seisneb, vheneb, lpmatusest, vheneda, kahanevad, uuritud, nitel, kiirendatud, juab, tavaline, kiirendamisel, teadlikult, tiendav, ebatpsus, operaatorid, tagamiseks, olgudabstraktne, tingimata, assotsiatiivsed, kommutatiivsed, jne, algsed, analoogid, vasak, operand, vana, uus, sellel, asjaolul, phineb, nhtud, korrektsus, deneerimisel, tekib, ksimus, kas, abstraheerib, olukordi, kitub, mingis, moodi, kituks, alamhulkadega, olukorda, jrgmine, abstraktsiooniks, rahuldavad, igax, tehe, sellele, vd, denitsiooni, illustreeriv, skeem, funktsiooninimetatakse, abstraktsioonifunktsiooniks, abstraction, konkretisatsioonifunktsiooniks, concretization, nuab, konkretiseerimine, kaotaks, kaotab, suurenda, illustreerib, tehte, abstraktsel, vrtusel, konkreetsel, viimast, samavrselt, snastada, jreldub, domeenidevahline, galois, vastavus, connection, formaliseerimisel, laiemalt, vreteoorias, millist, konkreetset, mingi, konkretiseerimisfunktsioon, vrtusele, ebapraktiliselt, mahukas, lpmatu, laltoodud, konkretiseerimisfunktsiooni, puudumisel, analsaatori, implementatsioonis, seonduvat, veritseerida, tingimuse, kuju, konkretiseerimisega, testimineomadusphine, property, based, testing, metoodika, soovitud, veritseerimisel, juhuslikult, genereeritud, testandmetel, lhenemise, populariseeris, haskelli, teek, nimega, quickcheck, ndseks, paljude, programmeerimiskeelte, funktsionaalprogrammeerimises, laialdane, omadusphine, hsti, tingimuste, kontrollimiseks, eelmises, sobivate, testandmete, vljamtlemist, vimaldab, samu, kigil, domeenidel, sltumata, tbist, testitavad, predikaatidena, millele, raamistik, genereerib, hulga, juhuslikke, argumente, predikaadi, vrtuse, loetakse, lbituks, omadus, kehtivaks, mnel, predikaat, lbikukkunuks, mittekehtivaks, viimasel, kuvatakse, probleemne, argument, testijale, raamistikes, kuidas, philiste, andmetpide, sh, paaride, jrjendite, genereerida, puuduvate, enda, juurde, lisada, juhuslik, thendama, juhuslikku, huvitavaid, sageli, probleeme, tekitavaid, erijuhte, null, jrjend, argumendid, arvud, pikad, sned, jrjendid, sgavad, puud, ib, kergesti, juhtuda, omaduse, kontranide, inimese, hoomatav, jb, ebaselgeks, argumendi, juures, erilist, kehti, vigade, analsimise, lihtsustamiseks, omadusphises, testimises, vravate, argumentide, lihtsustamist, vhendamist, shrinking, saada, lihtsamaid, algsega, sarnased, viks, kehtida, jrjendist, mingite, eemaldamine, pikkus, vheneks, vrtustatakse, leidmaks, rakendatakse, taas, kordi, lihtsustada, probleemset, argumenti, maksimaalselt, muutes, paremini, hoomatavaks, piliselt, vhendaminie, testimisraamistikesse, ehitatud, sedagi, oma, andmetpidele, andmejooksud, raamistikus, keerukamaid, spetsiilisi, vimalikuks, probleemide, allikaks, kasutusel, olevad, abstraktsed, implementatsioonid, allikat, testitigi, kesoleva, raames, kirjutatud, ocaml, avatud, lhtekoodiga, omadusphiseks, testimiseks, valiti, qcheck, sarnaste, teekide, uuendatud, igi, muudatuste, tienduse, leiab, lisast, moodulitena, muu, hulgas, seoseid, tehteid, esmalt, generaator, lisati, signatuuri, arbitrarysignatuuriga, arbitrary, unit, tqcheck, argumendiks, hiktbi, tagastabt, endas, tpitdomeeni, generaatorit, gen, vhendajat, shrink, ik, peatkkidest, omadusphiste, testidena, moodulisdomainproperties, kommutatiivsuse, join_commmakename, comm, arb, testitava, moodul, arbon, mugavuse, polmorfselt, funktorite, domeenil, ksnes, manuaalselt, ajamahukam, arvukate, lheneti, kahelt, poolt, generaatoritega, varustatud, les, lhenemine, esiteks, testiti, tisarvudega, ttavaid, moodulistintdomain, sltumatud, eraldiseisvalt, testida, pse, loetelu, lisa, allosast, paljud, teised, kasutavad, konkreetsest, analsitavast, funktsioone, vms, teeb, raskeks, moduletypes, sig, type, tp, bool, leq, bot, is_bot, is_top, widen, lihtsustatud, signatuur, moodulis, lattice, selge, isarvudomeenide, isarve, abstraheerivad, omavad, tavalisetele, domeenidele, olemasolevatele, lihtne, integerset, suhtes, korrektsust, kasutati, neis, olevatof_intfunktsiooni, ksikuid, vastaks, vaadeldavale, arvuhulgale, elementi, thihulga, abstraktsioonina, includelattice, vt, of_int, arvu, neg, vastandarvu, unaarne, liitmistehe, sub, lahutamistehe, abstraheeriva, intdomain, eeldatud, vimaldas, hekohaliste, ntneg, kahekohaliste, ntadd, deneeritute, igsuse, domeenile, teist, abstraheerimist, vastavaid, mlemas, ldisel, tasandil, nitas, selliseid, vajab, olulist, lisatd, ivitamine, loodi, moodulmaindomaintest, goblintist, endast, eraldi, kompileerida, ksugamake, domaintest, kivitada, ksuga, kivitamisel, testitakse, alla, teiseks, etteantud, standardseadistuses, kasutama, hakkaks, pannakse, sltuvalt, seadistusest, eri, mutex, paljudest, sltuvusi, arvestades, analsiks, kasutatavat, kujutada, sltuvusgraa, dependency, laosas, kujutatud, tervikliku, komponente, domeenescapedvarsdelegeerib, domeeniletoppedset, setdomainabil, genereerimiseks, kigist, teistest, sltutakse, eeldab, generaatorite, lisamist, tmahukas, generaatorid, triviaalselt, genereerimise, terve, absoluutselt, generaatoreid, triviaalse, generaatoriga, kutsu, sltuvuseks, oleva, ldse, implementeerima, domeenidevariables, normaljapmapgeneraatorid, selliselt, implementeeritigi, generaatorites, keerukamate, elementidega, opereerivad, selliseks, ksurealippude, dbg, domain, llitatud, enne, jooksutatakse, kasutataval, nidiskivitus, psemalt, kasutab, erinevat, lokaalset, globaalset, prast, tavaprast, kompileerimist, koos, lipuga, jrgneva, enable, domain\, regression, simple_rc, implikatiivsed, implikatsiooni, mingid, eeldused, tidetud, keerukuseks, genereerides, eeldust, rahuldada, implikatsioon, kll, vida, sisulist, ige, probleemiks, antismmeetrilisuse, genereerima, elemendidajabnii, eta, bjabv, nutud, tingimusta, rmiselt, ebatenoline, testitavas, vrdlemisi, kordsel, le, bitiste, rahuldavaid, enamasti, genereerita, praktiliselt, kontrollimata, implikatiivsete, jrjestusseoses, suurem, rdlemine, enamike, vrdumist, esimese, loomuliku, variandina, domeenideequal, kigis, domeenidesequalon, struktuuriga, koosklaliselt, samad, teisiti, elementideajabvrdumise, tingimusenaleq, eeliseks, vrdlus, eelda, etequalfunktsioon, puuduseks, rduse, vahelise, ebakla, tuvastama, tulla, paistis, domeenicircintervalvhima, testides, ekvivalentsi, esialgse, nitasid, testitud, vigane, ainsat, omadust, peatkist, olevat, operaatoritwidenei, kasutata, lalkirjeldatud, ajaloolistel, operaatori, kasutatigi, assotsiatiivne, idempotentne, kontrollitakse, niikuinii, vahetult, omaette, testidega, testide, jooksutamise, levaatlikud, vrdlusmetoodika, tegemist, kompromissiga, mlemal, moel, bikukkunud, esitatud, ligikaudselt, juhuslikkusel, esineb, viksemaid, variatsioone, rgneb, probleemsetest, mningad, probleemsete, varieeruda, erindi, teke, nede, tekkisid, erindid, kehtivust, enamikel, erind, erindite, tekkimine, kaupa, domeenisintegerset, puudub, luua, tisarvudest, vastaval, kolmes, testis, domeenisintegerspuuduvad, kolmele, testile, samal, henemine, mittekehtivad, alt, lalt, phjusel, lhtekoodis, kommentaar, domeeniscircintervaltekib, neljas, kontrollivas, vljaselgitamata, valid, div, erindinvalid_argument, loogikatehete, lognot, logand, logor, erindfailure, nativeint_of_big_int, tisarvu, mitmete, selgus, mittekehtivus, detailsem, domeenliftedon, lalmainitud, domeeniintegerstiendus, ehkintegers, erindeid, teki, testi, pidada, ootuspraseks, arvuline, domeenisintegers, polegi, muudel, eesmrkidel, intervallidega, arvudevahelise, vrdusoperaatori, eq, vhendatud, samamoodi, korduval, jooksutamisel, vihjab, abstraheeritava, suurusest, vljaspool, mrgiga, piire, vrtusega, peakski, testima, tekkinud, domeenisbooleans, tevrtust, bitinihke, operaatorite, vasakule, nihe, shift_left, paremale, shift_right, domeeniscircintervalesineb, rdusseose, trans, [], fst, assoc, htekoodis, kommentaaris, operaatoreid, nimetatud, pseudo, lemrajaks, alamrajaks, vihjavad, mingisugusele, puudusele, rdlemise, problemaatika, mainitud, neli, mitteassotsiatiivsuse, tttu, rikutud, korrekt, suse, domeenistrier, ksikud, tisarvud, exclusion, tuumaks, kahe, erineva, unustatakse, vlistushulga, disainis, vaikimisi, kasutatava, suhtuvad, arendajad, fundamentaalsesse, tsiselt, mitteassotsiatiivsete, tehetega, mju, analsile, autorid, selgitama, konkreetsed, psipunktialgoritmid, kituvad, mitteassotsiatiivne, olemine, rikub, korrektsusega, sarnase, domeenenums, riku, domeenintdomtuplesisuliselt, nelja, valikulisest, otsekorrutisest, komponendis, phjustab, mittekehtimiseintdomtupledomeenil, komponentdomeenid, veatud, kasintdomtuple, panemisel, smmeetrilisus, seoses, vrdlemise, problemaatikaga, otsustati, jrjestusseose, komponentidel, korras, argumentidela, fenums, fg, leiti, teadmata, kontranited, mahukad, arvukad, tuua, antisym, kolm, idem, abs, mlemad, vahelised, ekvivalentsused, levaatest, mittekehtimisel, phjuseid, implementeerimisel, mittekehtimine, teoreetilisel, teadlik, dokumenteeritud, sltumine, polnud, parandamine, kikidesse, probleemidesse, oluliselt, svenetud, lbikukkunud, kindlalt, vita, teadmisi, ettenhtud, tphimtetest, td, tpsete, kontranidete, krvaldamiseks, annavad, lbiviidud, suuna, kust, otsida, teoreetilise, anti, andmevooanalsist, kasutatavatest, abstraktsetest, koostati, ldine, katta, tasemel, kontrollitavast, koosneb, spetsiilistest, analsaatorile, vimekus, teeki, ldtestitaval, paljudesse, domeenidesse, juhuslike, tiendamisele, lbiviimisele, kahest, suunast, eelised, puudused, analsiti, teevad, keerukaks, goblintisse, raamistiku, edasises, arenduses, vltida, kehtinud, teostati, tulemuste, klassitseerida, tuvastada, esitati, omadusphisest, testimisest, olemasolu, selgub, parandamiseks, phjalikumalt, analsima, tl, edasiarenduse, vimalusi, jtkata, kontrollitud, muidugi, sgavamalt, tpsest, sisust, krvaldada, biviidud, rakendada, enoliselt, osade, korrektse, toimimise, kaugeltki, ainsad, osad