توضیحات
Algebraic specification, nondeterminism and term rewriting are three active research areas aiming at concepts for the abstract description of software systems: Algebraic specifications are well-suited for describing data structures and sequential software systems in an abstract way. Term rewriting methods are used in many prototyping systems and form the basis for executing specifi- cations. Nondeterminism plays a major role in formal language theory; in programming it serves for delaying design decisions in program development and occurs in a ‘natural’ way in formalisations of distributed processes. Heinrich Hussmann presents an elegant extension of equational specification and term rewriting to include nondeterminism. Based on a clean modeltheoretic semantics he considers term rewriting systems without confluence restrictions as a specification language and shows that fundamental properties such as the existence of initial models or the soundness and completeness of narrowing, the basic mechanism for executing equational specifications, can be extended to nondeterministic computations. The work of Heinrich Hussmann is an excellent contribution to Algebraic Programming; it gives a framework that admits a direct approach to program verification, is suitable for describing concurrent and distributed processes, and it can be executed as fast as Prolog.
————————————————————–
ترجمه ماشینی :
مشخصات جبری، عدم قطعیت و بازنویسی اصطلاح سه حوزه تحقیقاتی فعال هستند که به مفاهیمی برای توصیف انتزاعی سیستمهای نرمافزاری میپردازند: مشخصات جبری برای توصیف ساختارهای داده و سیستمهای نرمافزاری متوالی به روشی انتزاعی مناسب هستند. روشهای بازنویسی اصطلاح در بسیاری از سیستمهای نمونهسازی مورد استفاده قرار میگیرند و مبنایی برای اجرای مشخصات هستند. عدم قطعیت نقش عمده ای در نظریه زبان رسمی ایفا می کند. در برنامه نویسی برای به تاخیر انداختن تصمیمات طراحی در توسعه برنامه عمل می کند و به روشی طبیعی در رسمی سازی فرآیندهای توزیع شده رخ می دهد. هاینریش هوسمن بسط ظریفی از مشخصات معادله و بازنویسی اصطلاحات را ارائه می دهد تا شامل غیر قطعی باشد. وی بر اساس یک معناشناسی نظری مدل تمیز، سیستمهای بازنویسی اصطلاحات بدون محدودیت تلاقی را به عنوان یک زبان مشخصه در نظر میگیرد و نشان میدهد که ویژگیهای اساسی مانند وجود مدلهای اولیه یا درستی و کامل بودن باریکسازی، مکانیزم اساسی برای اجرای مشخصات معادله را میتوان به آن تعمیم داد. محاسبات غیر قطعی کار هاینریش هوسمن کمک بسیار خوبی به برنامه نویسی جبری است. چارچوبی را ارائه می دهد که رویکرد مستقیمی را برای تأیید برنامه می پذیرد، برای توصیف فرآیندهای همزمان و توزیع شده مناسب است و می تواند به سرعت Prolog اجرا شود.
tag : دانلود کتاب عدم قطعیت در مشخصات جبری و برنامه های جبری , Download عدم قطعیت در مشخصات جبری و برنامه های جبری , دانلود عدم قطعیت در مشخصات جبری و برنامه های جبری , Download Nondeterminism in Algebraic Specifications and Algebraic Programs Book , عدم قطعیت در مشخصات جبری و برنامه های جبری دانلود , buy عدم قطعیت در مشخصات جبری و برنامه های جبری , خرید کتاب عدم قطعیت در مشخصات جبری و برنامه های جبری , دانلود کتاب Nondeterminism in Algebraic Specifications and Algebraic Programs , کتاب Nondeterminism in Algebraic Specifications and Algebraic Programs , دانلود Nondeterminism in Algebraic Specifications and Algebraic Programs , خرید Nondeterminism in Algebraic Specifications and Algebraic Programs , خرید کتاب Nondeterminism in Algebraic Specifications and Algebraic Programs ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.