Chaqaloq modulasi-3 - Baby Modula-3
 | Ushbu maqola bo'lishi tavsiya etilgan birlashtirildi ichiga Modula-3. (Muhokama qiling) 2020 yil avgustidan beri taklif qilingan. |
 | Ushbu maqolada bir nechta muammolar mavjud. Iltimos yordam bering uni yaxshilang yoki ushbu masalalarni muhokama qiling munozara sahifasi. (Ushbu shablon xabarlarini qanday va qachon olib tashlashni bilib oling) (Ushbu shablon xabarini qanday va qachon olib tashlashni bilib oling)
|
Chaqaloq modulasi-3 a funktsional dasturlash til osti ning Modula-3 (xavfsiz to'plam) dasturlash tili asoslangan ideallar tomonidan ixtiro qilingan Martin Abadi. Bu ob'ektga yo'naltirilgan til o'qish uchun dasturlash tilini loyihalash; uning bir qismi bilvosita prototipga yo'naltirilgan dasturlash tili, ikkinchisi esa aniq statik tarzda o'qish uchun mo'ljallangan Kompyuter fanlari nazariyalarni yozing. Rasmiy tili sifatida tekshirilgan metaprogramma tizimlar.[1] U ob'ektga yo'naltirilgan dasturlash tillarining "Skandinaviya maktabi" dan kelib chiqadi.
Martin Abadi toza narsalarga misol keltirishga urindi ob'ektga yo'naltirilgan til bu o'rganishga imkon beradi rasmiy semantik ob'ektlar. "Baby Modula-3" tuzilmasi bilan belgilanadi operatsion semantika va statik turdagi qoidalar to'plami bilan. A denotatsion semantika ushbu ta'rifning mustahkamligiga kafolat beradi. "[1]Ushbu ob'ekt modeli aniqlik aniqligini aniqladi [2] (buning mexanik isboti ma'lum emas).
Baby Modula-3 ixtirochisi ishlagan Tizimlarni tadqiq qilish markazi (SRC) ning Raqamli uskunalar korporatsiyasi (DEC) in Palo Alto, Kaliforniya. DEC tomonidan sotib olinganligi sababli Compaq va Compaq o'zi tomonidan sotib olingan Hewlett-Packard SRC-report 95 HP tomonidan ommaga taqdim etildi.
Ta'sir
Luka Kardelli va Martin Abadi kitob yozgan Ob'ektlar nazariyasi[3] 1997 yilda ob'ektga yo'naltirilgan dasturlash tillari semantikasi uchun rasmiy hisob-kitoblarni ishlab chiqdi. Baby Modula-3 bu ishda Luca Cardelli so'zlariga ko'ra,[4] tipidagi hisob-kitoblarga rahbarlik qildi o'zini o'zi yilda Ob'ekt uchun turlari va "o'zini" turi.[5]Kabi modullashning rasmiy semantikasini modellashtirish uchun foydalanilgan ob'ektga yo'naltirilgan tipli dasturlash tillari uchun Modula-3 rasmiy semantik tekshiruv tizimlarida ishlashga yo'l ochdi. Ada (dasturlash tili) va C (dasturlash tili) Tadqiqot, olingan 2012-03-22.
Adabiyotlar
- ^ a b Baby Modula-3 va ob'ektlar nazariyasi Martin Abadi. DEK Tizimlarni tadqiq qilish markazi (SRC) Tadqiqot hisoboti 95 (1993 yil fevral)
- ^ Shvinghammer, J. (2008-01-01). "Ob'ektni hisoblash uchun baholash bo'yicha normallashtirish to'g'risida". Marino Mikulan shahrida; Ivan Scagnetto; Furio Xonsell (tahrir). Isbot va dasturlarning turlari. Kompyuter fanidan ma'ruza matnlari. 4941. Springer Berlin Heidelberg. 173-187 betlar. CiteSeerX 10.1.1.140.5764. doi:10.1007/978-3-540-68103-8_12. ISBN 978-3-540-68084-0.
- ^ Abadi, Martin; Luka Kardelli (1996-08-09). Ob'ektlar nazariyasi (Tuzatilgan tahrir). Springer. ISBN 978-0387947754.
- ^ Ibtidoiy ob'ektlar nazariyasi (turlanmagan, birinchi va ikkinchi darajali tizimlar) (PDF), olingan 2012-03-29[doimiy o'lik havola ]
- ^ Jamiyat, Amerika matematikasi (1995). Amerika Matematik Jamiyatiga taqdim etilgan maqolalarning tezislari. Amerika matematik jamiyati.
 | Bu dasturlash tili bilan bog'liq maqola a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish. |