دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: برنامه نویسی: کامپایلرها ویرایش: 1 نویسندگان: Harald Ganzinger (auth.), Neil D. Jones (eds.) سری: Lecture Notes in Computer Science 94 ISBN (شابک) : 3540102507, 9783540102502 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1980 تعداد صفحات: 494 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
کلمات کلیدی مربوط به کتاب نسل کامپایلر به کارگردانی معناشناسی: مجموعه مقالات یک کارگاه آموزشی آرهوس ، دانمارک ، ژانویه 1980: زبان های برنامه نویسی، کامپایلرها، مترجمان
در صورت تبدیل فایل کتاب Semantics-Directed Compiler Generation: Proceedings of a Workshop Aarhus, Denmark, January 1980 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نسل کامپایلر به کارگردانی معناشناسی: مجموعه مقالات یک کارگاه آموزشی آرهوس ، دانمارک ، ژانویه 1980 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
Transforming denotational semantics into practical attribute grammars....Pages 1-69
Compiler generation from denotational semantics....Pages 70-93
From standard to implementation denotational semantics....Pages 94-139
Specification of compilers as abstract data type representations....Pages 140-164
More on advice on structuring compilers and proving them correct....Pages 165-188
A constructive approach to compiler correctness....Pages 189-210
Using category theory to design implicit conversions and generic operators....Pages 211-258
On defining semantics by means of extended attribute grammars....Pages 259-299
Tree-affix dendrogrammars for languages and compilers....Pages 300-319
An implementation of affix grammars....Pages 320-349
Experiences with the compiler writing system HLP....Pages 350-362
Rule splitting and attribute-directed parsing....Pages 363-392
Attribute-influenced LR parsing....Pages 393-407
On the definition of an attribute grammar....Pages 408-414
State transition machines for lambda-calculus expressions....Pages 415-440
Semantic definitions in REFAL and automatic production of compilers....Pages 441-474
On the formal definition of ADA....Pages 475-489