توضیحات
Stumps Programming Language Foundations is a short concise text that covers semantics, equally weighting operational and denotational semantics for several different programming paradigms: imperative, concurrent, and functional. Programming Language Foundations provides: an even coverage of denotational, operational an axiomatic semantics; extensions to concurrent and non-deterministic versions; operational semantics for untyped lambda calculus; functional programming; type systems; and coverage of emerging topics and modern research directions.
————————————————————–
ترجمه ماشینی :
مبانی زبان برنامه نویسی Stumps یک متن مختصر کوتاه است که معناشناسی را پوشش می دهد، به طور یکسان به معنای عملیاتی و معنایی برای چندین پارادایم برنامه نویسی مختلف وزن می دهد: امری، همزمان و کاربردی. مبانی زبان برنامهنویسی فراهم میکند: پوشش یکنواختی از معناشناسی معنایی، عملیاتی و بدیهی. الحاقات به نسخه های همزمان و غیر قطعی؛ معناشناسی عملیاتی برای محاسبات لامبدا تایپ نشده. برنامه نویسی تابعی؛ سیستم های نوع؛ و پوشش موضوعات نوظهور و جهت گیری های تحقیقاتی مدرن.
tag : دانلود کتاب مبانی زبان برنامه نویسی , Download مبانی زبان برنامه نویسی , دانلود مبانی زبان برنامه نویسی , Download Programming language foundations Book , مبانی زبان برنامه نویسی دانلود , buy مبانی زبان برنامه نویسی , خرید کتاب مبانی زبان برنامه نویسی , دانلود کتاب Programming language foundations , کتاب Programming language foundations , دانلود Programming language foundations , خرید Programming language foundations , خرید کتاب Programming language foundations ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.