دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Mathematical Foundations of Programming Language Semantics: 3rd Workshop Tulane University, New Orleans, Louisiana, USA April 8–10, 1987 Proceedings
دانلود کتاب مبانی ریاضی معانی زبان برنامه نویسی: کارگاه سوم دانشگاه تولان ، نیواورلئان ، لوئیزیانا ، ایالات متحده 8 تا 10 آوریل 1987
مشخصات کتاب
Mathematical Foundations of Programming Language Semantics: 3rd Workshop Tulane University, New Orleans, Louisiana, USA April 8–10, 1987 Proceedings
دسته بندی: برنامه نويسي ویرایش: 1 نویسندگان: John W. Gray (auth.), M. Main, A. Melton, M. Mislove, D. Schmidt (eds.) سری: Lecture Notes in Computer Science 298 ISBN (شابک) : 3540190201, 9783540190202 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1988 تعداد صفحات: 635 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 40,000
کلمات کلیدی مربوط به کتاب مبانی ریاضی معانی زبان برنامه نویسی: کارگاه سوم دانشگاه تولان ، نیواورلئان ، لوئیزیانا ، ایالات متحده 8 تا 10 آوریل 1987: منطق و معانی برنامه ها
در صورت تبدیل فایل کتاب Mathematical Foundations of Programming Language Semantics: 3rd Workshop Tulane University, New Orleans, Louisiana, USA April 8–10, 1987 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مبانی ریاضی معانی زبان برنامه نویسی: کارگاه سوم دانشگاه تولان ، نیواورلئان ، لوئیزیانا ، ایالات متحده 8 تا 10 آوریل 1987 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مبانی ریاضی معانی زبان برنامه نویسی: کارگاه سوم دانشگاه تولان ، نیواورلئان ، لوئیزیانا ، ایالات متحده 8 تا 10 آوریل 1987
این جلد مجموعه مقالات سومین کارگاه آموزشی مبانی ریاضی معناشناسی زبان برنامه نویسی است که در دانشگاه تولین، نیواورلئان، لوئیزیانا، 8 تا 10 آوریل 1987 برگزار شد. اولین کارگاه در دانشگاه ایالتی کانزاس، منهتن، کانزاس در آوریل 1985 (به LNCS 239 مراجعه کنید)، و دومین کارگاه با تعداد محدودی از شرکت کنندگان در ایالت کانزاس در آوریل 1986 برگزار شد. هدف سازمان دهندگان این بود که کارگاه سوم به بررسی بسیاری از زمینه های مبانی ریاضی زبان برنامه نویسی بپردازد. معناشناسی تا حد امکان. این کارگاه 49 مقاله ارسالی را جذب کرد که از بین آنها 28 مقاله برای ارائه انتخاب شد. این مقالات در موضوعاتی از نظریه مقوله و حساب لامبدا گرفته تا نظریه ساختار حوزه‌ها و حوزه‌های قدرت، تا مسائل پیاده‌سازی پیرامون معناشناسی بودند.
توضیحاتی درمورد کتاب به خارجی
This volume is the proceedings of the 3rd Workshop on the Mathematical Foundations of Programming Language Semantics held at Tulane University, New Orleans, Louisiana, April 8-10, 1987. The 1st Workshop was at Kansas State University, Manhattan, Kansas in April, 1985 (see LNCS 239), and the 2nd Workshop with a limited number of participants was at Kansas State in April, 1986. It was the intention of the organizers that the 3rd Workshop survey as many areas of the Mathematical Foundations of Programming Language Semantics as reasonably possible. The Workshop attracted 49 submitted papers, from which 28 papers were chosen for presentation. The papers ranged in subject from category theory and Lambda-calculus to the structure theory of domains and power domains, to implementation issues surrounding semantics.
فهرست مطالب
A categorical treatment of polymorphic operations....Pages 2-22
A categorical approach to realizability and polymorphic types....Pages 23-42
Rule-based semantics for an extended lambda-calculus....Pages 43-56
Semantics of block structured languages with pointers....Pages 57-84
Assertional categories....Pages 85-120
Kan extensions in effective semantics....Pages 121-132
The versatile continuous order....Pages 134-160
On the Smyth power domain....Pages 161-172
The metric closure powerspace construction....Pages 173-199
A powerdomain construction....Pages 200-212
Closure properties of a probabilistic domain construction....Pages 213-233
Quasi-uniformities: Reconciling domains with metric spaces....Pages 236-253
Solving reflexive domain equations in a category of complete metric spaces....Pages 254-288
Topological completeness in an ideal model for polymorphic types....Pages 289-302
New results on hierarchies of domains....Pages 303-310
Semantically based axiomatics....Pages 312-330
Metric spaces as models for real-time concurrency....Pages 331-343
dI-domains as a model of polymorphism....Pages 344-363
Continuous auxiliary relations....Pages 364-371
Computable one-to-one enumerations of effective domains....Pages 372-384
Extended abstract of MIX: A self-applicable partial evaluator for experiments in compiler generation....Pages 386-413
Semantics-based tools for a specification-support environment....Pages 414-424
A treatment of languages with stages of evaluation....Pages 425-443
Operational semantics and a distributed implementation of CSP....Pages 444-454
The semantics of Miranda\'s algebraic types....Pages 455-473
Path semantics....Pages 476-489
The formal description of data types using sketches....Pages 490-527
Initial algebra semantics and concurrency....Pages 528-549
High-level semantics....Pages 550-571
An action semantics of standard ML....Pages 572-598
An algorithmic approach to p-adic integers....Pages 599-615
The shuffle bialgebra....Pages 616-637
نظرات کاربران
کتاب های مرتبط
دانلود کتاب C# Multithreaded and Parallel Programming
دانلود کتاب Arduino: 101 Beginners Guide: How to get started with Your Arduino
دانلود کتاب Kubernetes: Up and Running: Dive into the Future of Infrastructure
دانلود کتاب Tutorial fácil de seguir para aprender la programación de Python en menos de una semana
دانلود کتاب Managing Data and Media in Silverlight 4: A Mashup of Chapters from Packt's Bestselling Silverlight Books
دانلود کتاب Lessons Learned in Software Testing: A Context-Driven Approach
دانلود کتاب F# for Technical Computing (исходные тексты программ к книге)
دانلود کتاب Mastering Turbo C
دانلود کتاب Objects, Components, and Frameworks with UML : The Catalysis(SM) Approach (Addison-Wesley Object Technology Series)
