دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Michel Bidoit (auth.), D. Sannella, A. Tarlecki (eds.) سری: Lecture Notes in Computer Science 332 ISBN (شابک) : 3540503250, 9783540503255 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1988 تعداد صفحات: 263 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
کلمات کلیدی مربوط به کتاب روندهای اخیر در مشخصات نوع داده: پنجمین کارگاه آموزشی در مورد مشخصات انواع داده های انتزاعی گولان، اسکاتلند، 1 تا 4 سپتامبر 1987 مقالات منتخب: زبان های برنامه نویسی، کامپایلرها، مترجمان
در صورت تبدیل فایل کتاب Recent Trends in Data Type Specification: 5th Workshop on Specification of Abstract Data Types Gullane, Scotland, September 1–4, 1987 Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روندهای اخیر در مشخصات نوع داده: پنجمین کارگاه آموزشی در مورد مشخصات انواع داده های انتزاعی گولان، اسکاتلند، 1 تا 4 سپتامبر 1987 مقالات منتخب نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
پنجمین کارگاه آموزشی در مورد مشخصات انواع داده های انتزاعی در 1-4 سپتامبر 1987 در گولان، نزدیک ادینبورگ برگزار شد. این کتاب حاوی مقالاتی است که بر اساس سخنرانی های منتخب ارائه شده در کارگاه ارائه شده است. مشخصات جبری انواع داده های انتزاعی از سال 1974 یک موضوع پررونق در علوم کامپیوتر بوده است. هدف اصلی کار در این زمینه، تکامل روشی برای پشتیبانی از طراحی و توسعه رسمی نرم افزار قابل اعتماد است. رویکرد خاص اتخاذ شده مبتنی بر مفاهیم جبر جهانی و نظریه مقوله ابتدایی است. هسته اصلی این کار اکنون تا حد زیادی تثبیت شده است و به اندازه کافی برای یافتن کاربرد در مهندسی نرم افزار واقعی و موضوعات مرتبط مانند همزمانی، پایگاه های داده و حتی طراحی سخت افزار به بلوغ رسیده است. چنین کاربردهایی به دلیل ظهور محیطهای یکپارچه مشخصات/توسعه که شامل ابزارهایی مانند اثباتکنندههای قضیه مبتنی بر موتورهای بازنویسی سریع است، امکانپذیرتر میشوند. محققان همچنین در حال بررسی راههایی برای گسترش دامنه تئوری هستند تا آن را برای (مثلا) توابع درجه بالاتر و برنامههای غیر قطعی قابل استفاده کنند. گرایش دیگر به سمت داشتن یک دیدگاه کلی تر است که اجازه می دهد رویکردهای سطحی متفاوت با اهداف و روش های کلی یکسان یکسان شوند.
The Fifth Workshop on Specification of Abstract Data Types took place 1-4 September 1987 in Gullane, near Edinburgh. This book contains papers based on selected talks presented at the workshop. The algebraic specification of abstract data types has been a flourishing topic in computer science since 1974. The main goal of work in this area is to evolve a methodology to support the design and formal development of reliable software. The particular approach taken builds upon concepts from universal algebra and elementary category theory. The core of this work has now stabilized to a great extent and is mature enough to find application in real-life software engineering and to related topics such as concurrency, databases, and even hardware design. Such applications are becoming more feasible because of the emergence of integrated specification/development environments which include tools such as theorem provers based on fast term rewriting engines. Researchers are also exploring ways of widening the scope of the theory to make it applicable to (for example) higher-order functions and non-deterministic programs. Another trend is toward taking a more general view which allows superficially different approaches having the same general aims and methods to be unified.
The stratified loose approach: A generalization of initial and loose semantics....Pages 1-22
Algebraic data type and process specifications based on projection spaces....Pages 23-43
Structuring theories on consequence....Pages 44-72
Completion with history-dependent complexities for generated equations....Pages 73-91
Jungle evaluation....Pages 92-112
The ACT-system experiences and future enhancements....Pages 113-130
The specification language of OBSCURE ....Pages 131-153
Algebraic specifications of reachable higher-order algebras....Pages 154-169
Observing nondeterministic data types....Pages 170-183
Initial behaviour semantics for algebraic specifications....Pages 184-207
Partial algebras, subsorting, and dependent types....Pages 208-234
Operational semantics of behavioural canons based on narrowing....Pages 235-248
The algebraic specification of semicomputable data types....Pages 249-259