ترجمه فارسی توضیحات (ترجمه ماشینی)
برنامه نویسی در نظریه نوع مارتین-لوف: مقدمه
در سال های اخیر، چند فرمالیسم برای ساخت برنامه ظاهر شده است. یکی از این فرمالیسم، نظریه نوع است که توسط Per Martin-Löf ارائه شده است. به خوبی به عنوان یک نظریه برای ساخت برنامه مناسب است، بیان هر دو مشخصات و برنامه ها را در فرمالیسم یکسان ممکن می کند. علاوه بر این، قوانین اثبات را می توان برای استخراج یک برنامه صحیح از یک مشخصات و همچنین برای تأیید اینکه یک برنامه مشخص دارای ویژگی خاصی است استفاده کرد. این کتاب شامل مقدمه‌ای کامل برای تئوری نوع، با اطلاعات مجموعه‌های چندشکلی، زیرمجموعه‌ها، مجموعه‌های تک‌مورفیک و مجموعه‌ای کامل از مثال‌های مفید است.
In recent years, several formalisms for program construction have appeared. One such formalism is the type theory developed by Per Martin-Löf. Well suited as a theory for program construction, it makes possible the expression of both specifications and programs within the same formalism. Furthermore, the proof rules can be used to derive a correct program from a specification as well as to verify that a given program has a certain property. This book contains a thorough introduction to type theory, with information on polymorphic sets, subsets, monomorphic sets, and a full set of helpful examples.
نقد و بررسی‌ها
هیچ دیدگاهی برای این محصول نوشته نشده است.