ترجمه فارسی توضیحات (ترجمه ماشینی)
معناشناسی با کاربردها: یک پیش غذا
معناشناسی نقش مهمی در توسعه آینده سیستم‌های نرم‌افزاری و زبان‌های خاص حوزه خواهد داشت و نیاز واقعی به کتاب مقدماتی وجود دارد که ایده‌های اساسی پشت این رویکردها را ارائه کند. رابطه آنها را با فرمول بندی و اثبات قضایای مربوطه تاکید می کند. و کاربردهای معناشناسی در علوم کامپیوتر را نشان می دهد.
این کتاب رابطه بین روش‌های مختلف را بررسی می‌کند و برخی از ایده‌های اصلی مورد استفاده را شرح می‌دهد و اینها را از طریق برنامه‌های کاربردی جالب نشان می‌دهد. حوزه‌های کاربردی مهم تاریخی همراه با برخی برنامه‌های کاربردی بالقوه هیجان‌انگیز از جمله: اعتبارسنجی اجرای نمونه اولیه زبان‌های برنامه‌نویسی استفاده می‌شوند. بررسی تحلیل های برنامه که بخشی از پیاده سازی های پیشرفته تر زبان های برنامه نویسی هستند. بررسی تحلیل های امنیتی بررسی ویژگی های مفید برنامه از جمله اطلاعات مربوط به زمان اجرا.
Semantics will have an important role to play in the future development of software systems and domain specific languages, and there is a real need for an introductory book that presents the fundamental ideas behind these approaches; stresses their relationship by formulating and proving the relevant theorems; and illustrates the applications of semantics in computer science.
This book investigates the relationship between the various methods and describes some of the main ideas used, illustrating these via interesting applications. Historically important application areas are used together with some exciting potential applications including: Validating prototype implementations of programming languages. Verifying program analyses that are part of more advanced implementations of programming languages. Verifying security analyses. Verifying useful program properties including information about execution time.
نقد و بررسی‌ها
هیچ دیدگاهی برای این محصول نوشته نشده است.