Kengaytirilgan ML - Extended ML

Ushbu maqolaning mavzusi Vikipediyaga mos kelmasligi mumkin umumiy e'tiborga loyiqlik bo'yicha ko'rsatma. Iltimos, havola orqali notanishlikni aniqlashga yordam bering ishonchli ikkilamchi manbalar bu mustaqil mavzuni va shunchaki ahamiyatsiz so'zlardan tashqari uni muhim yoritishni ta'minlaydi. Agar nogironlik aniqlanmasa, maqola ehtimol bo'lishi mumkin birlashtirildi, qayta yo'naltirildi, yoki o'chirildi. Manbalarni toping: "Kengaytirilgan ML"  – Yangiliklar  · gazetalar  · kitoblar  · olim  · JSTOR (2011 yil oktyabr) (Ushbu shablon xabarini qanday va qachon olib tashlashni bilib oling)

Kengaytirilgan ML a keng spektrli til ikkalasini ham qamrab oladi spetsifikatsiya va amalga oshirish va ML dasturlash tili. ML sintaksisini o'z ichiga oladi aksiomalar, bajarilishi shart emas, lekin dasturning xatti-harakatlarini aniq belgilashi mumkin. Ushbu qo'shimchalar yordamida til asta-sekin bosh harfdan boshlab bosqichma-bosqich takomillashtirish uchun ishlatilishi mumkin rasmiy spetsifikatsiya oxir-oqibat bajariladigan faylni berish Standart ML dastur. So'ngra bajariladigan SML dasturining asl spetsifikatsiyaga nisbatan to'g'riligini keyinchalik har bir takomillashtirish bosqichining to'g'riligini isbotlash orqali aniqlash mumkin. Kengaytirilgan ML tadqiqotlarni o'tkazish va o'qitish uchun ishlatiladi rasmiy dastur ishlab chiqish va spetsifikatsiya va avtomatik ravishda tadqiqotlar dasturni tekshirish.

Kengaytirilgan ML dasturlash tili bilan bog'liq emas Kengaytiriladigan ML (shunga o'xshash tarzda ML-dan olinganidan tashqari) va spetsifikatsiya tili Kengaytirilgan belgilash tili.

Adabiyotlar

• S. Kahrs, D. Sannella va A. Tarlecki. Kengaytirilgan ML ta'rifi: yumshoq kirish. Nazariy kompyuter fanlari, 173 (2): 445-448, 28 fevral 1997 yil.

Tashqi havolalar

• Don Sannella - kengaytirilgan ML haqida ma'lumot

Bu dasturlash tili bilan bog'liq maqola a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish.