Azərbaycanca
Беларускі
Dansk
Deutsch
Española
Français
Indonesia
Italiana
日本語
Қазақ
Lietuvos
Nederlands
Português
Русский
සිංහල
แบบไทย
Türkçe
Українська
中國人
United State
Afrikaans
CafeOBJ — одна з мов OBJ-родини декларативних мов програмування ультра високого рівня. Є найбільш передовою мовою формальної специфікації, яка успадкувала багато додаткових можливостей (наприклад, гнучке мікс-виправлення синтаксису, потужна і зрозуміла система введення і так далі) від OBJ алгебраїчної мови специфікації.
CafeOBJ це мова для написання формальних (наприклад, математичних) специфікацій моделей для широкого різноманіття програмного забезпечення і систем, і верифікації їх властивостей. CafeOBJ реалізується логікою загальної алгебри (англ. equational logic), шляхом переписування і може бути використана як потужна інтерактивна система доведення теорем. Сувора логічна семантика, що базується на інструкціях.
Іншими важливими мовами з OBJ-родини є , , , і .
Може бути завантажена тут [ 17 жовтня 2012 у Wayback Machine.].
Див. також
Посилання
- Офіційний сайт CafeOBJ [ 6 лютого 2016 у Wayback Machine.] (англ.)
- The OBJ family [ 27 травня 2009 у Wayback Machine.] (англ.)
- Verifying Specifications with Proof Scores in CafeOBJ, Kokichi Futatsugi, YouTube (англ.)
 | Це незавершена стаття про мови програмування. Ви можете проєкту, виправивши або дописавши її. |
| Ця стаття не має . |
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
CafeOBJ odna z mov OBJ rodini deklarativnih mov programuvannya ultra visokogo rivnya Ye najbilsh peredovoyu movoyu formalnoyi specifikaciyi yaka uspadkuvala bagato dodatkovih mozhlivostej napriklad gnuchke miks vipravlennya sintaksisu potuzhna i zrozumila sistema vvedennya i tak dali vid OBJ algebrayichnoyi movi specifikaciyi CafeOBJ system Version 1 4 8 v komandnomu ryadku CafeOBJ ce mova dlya napisannya formalnih napriklad matematichnih specifikacij modelej dlya shirokogo riznomanittya programnogo zabezpechennya i sistem i verifikaciyi yih vlastivostej CafeOBJ realizuyetsya logikoyu zagalnoyi algebri angl equational logic shlyahom perepisuvannya i mozhe buti vikoristana yak potuzhna interaktivna sistema dovedennya teorem Suvora logichna semantika sho bazuyetsya na instrukciyah Inshimi vazhlivimi movami z OBJ rodini ye i Mozhe buti zavantazhena tut 17 zhovtnya 2012 u Wayback Machine Div takozhAvtomatichne dovedennya Formalni metodi Diskretna matematikaPosilannyaOficijnij sajt CafeOBJ 6 lyutogo 2016 u Wayback Machine angl The OBJ family 27 travnya 2009 u Wayback Machine angl Verifying Specifications with Proof Scores in CafeOBJ Kokichi Futatsugi YouTube angl Ce nezavershena stattya pro movi programuvannya Vi mozhete dopomogti proyektu vipravivshi abo dopisavshi yiyi Cya stattya ne maye interviki posilan Vi mozhete dopomogti proyektu znajshovshi ta dodavshi yih do vidpovidnogo elementu Vikidanih