دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب UNE IMPLEMENTATION DE ML EN ML
دانلود کتاب پیاده سازی ML در ML
مشخصات کتاب
UNE IMPLEMENTATION DE ML EN ML
ویرایش: phd thesis نویسندگان: ASCANDER SUAREZ, G COUSINEAU سری: ناشر: [s.n.] سال نشر: 1993 تعداد صفحات: 186 زبان: French فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 1 مگابایت
قیمت کتاب (تومان) : 35,000
در صورت تبدیل فایل کتاب UNE IMPLEMENTATION DE ML EN ML به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پیاده سازی ML در ML نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب پیاده سازی ML در ML
زبانهای برنامهنویسی تابعی هم میراث کامپیوتری زبانهای برنامهنویسی و هم میراث منطق ریاضی را دریافت کردهاند. زبان ML، که موضوع این اثر است، یک زبان کاربردی با نحو بسیار نزدیک به زبان ریاضی است و دارای یک نوع سیستم بسیار تکامل یافته است. این اثر الگوریتم های تایپ و کامپایل مورد استفاده در پیاده سازی زبان CAML را ارائه می دهد. برنامههای افزودنی سیستم انواع ML، الگوریتمهای کامپایلسازی بر اساس دوربین دستگاه چکیده مقولهای و الگوریتمهای کامپایل تماس با فیلتر کردن، منجر به دستیابی به کد کانترمطالب بهینه ماشین میشود. ادامه مطلب...
توضیحاتی درمورد کتاب به خارجی
LES LANGAGES DE PROGRAMMATION FONCTIONNELS ONT RECU A LA FOIS L'HERITAGE INFORMATIQUE DES LANGAGES DE PROGRAMMATION ET L'HERITAGE DE LA LOGIQUE MATHEMATIQUE. LE LANGAGE ML, QUI EST L'OBJET DE CE TRAVAIL EST UN LANGAGE FONCTIONNEL AVEC UNE SYNTAXE TRES PROCHE DE CELLE DU LANGAGE MATHEMATIQUE ET POSSEDE UN SYSTEME DE TYPES TRES EVOLUE. CE TRAVAIL PRESENTE LES ALGORITHMES DE TYPAGE ET COMPILATION UTILISES DANS L'IMPLEMENTATION DU LANGAGE CAML. SE PRESENTENT DES EXTENSIONS AU SYSTEME DE TYPES DE ML, DES ALGORITHMES DE COMPILATION BASES SUR LA MACHINE ABSTRAITE CATEGORIQUE CAM ET DES ALGORITHMES DE COMPILATION DE L'APPEL PAR FILTRAGE CONDUISANT A L'OBTENTION DE CODE MACHINE OPTIMAL POUR CETTE STRUCTURE DE CONTROLE DU LANGAGE. Read more...
