دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: phd thesis نویسندگان: ASCANDER SUAREZ, G COUSINEAU سری: ناشر: [s.n.] سال نشر: 1993 تعداد صفحات: 186 زبان: French فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 1 مگابایت
در صورت تبدیل فایل کتاب UNE IMPLEMENTATION DE ML EN ML به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پیاده سازی 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...