Foundations of Programming Languages

این کتاب درسی که به وضوح نوشته شده است، خواننده را با سه سبک برنامه نویسی، بررسی برنامه نویسی شی گرا/ دستوری، تابعی و منطقی آشنا می کند. تمرکز متن از زبان‌های بسیار تجویزی به زبان‌های بسیار توصیفی حرکت می‌کند، و راه‌های متعدد و متنوعی را نشان می‌دهد که ما می‌توانیم در مورد برنامه‌نویسی فکر کنیم. هر پارادایم برنامه نویسی که برای یادگیری تعاملی هم در داخل و هم در خارج از کلاس طراحی شده است، از طریق اجرای یک زبان برنامه نویسی غیر پیش پا افتاده برجسته می شود و نشان می دهد که چه زمانی هر زبان ممکن است برای یک مشکل خاص مناسب باشد. ویژگی ها: شامل سوالات مروری و تمرینات حل شده، با کد تکمیلی و فایل های پشتیبانی موجود از یک وب سایت مرتبط. پایه هایی را برای درک چگونگی تعریف نحو یک زبان به طور رسمی توسط یک دستور زبان فراهم می کند. برنامه نویسی زبان اسمبلی را با استفاده از CoCo بررسی می کند. C++، Standard ML و Prolog را معرفی می کند. توسعه یک سیستم استنتاج نوع را برای زبان Small توصیف می کند.

This clearly written textbook introduces the reader to the three styles of programming, examining object-oriented/imperative, functional, and logic programming. The focus of the text moves from highly prescriptive languages to very descriptive languages, demonstrating the many and varied ways in which we can think about programming. Designed for interactive learning both inside and outside of the classroom, each programming paradigm is highlighted through the implementation of a non-trivial programming language, demonstrating when each language may be appropriate for a given problem. Features: includes review questions and solved practice exercises, with supplementary code and support files available from an associated website; provides the foundations for understanding how the syntax of a language is formally defined by a grammar; examines assembly language programming using CoCo; introduces C++, Standard ML, and Prolog; describes the development of a type inference system for the language Small.