Foundations of Programming Languages

Seyed H. Roosta

  • 出版商: Thomson
  • 出版日期: 2002-08-15
  • 售價: $902
  • 語言: 英文
  • 頁數: 652
  • 裝訂: Hardcover
  • ISBN: 0534393039
  • ISBN-13: 9780534393038
  • 下單後立即進貨 (約5~7天)

買這商品的人也買了...

相關主題

商品描述

"Foundations of Programming Languages" presents topics relating to the design and implementation of programming languages as fundamental skills that all computer scientists should possess. Rather than provide a feature-by-feature examination of programming languages, the author discusses programming languages organized by concepts. The first five chapters provide students with a successful foundation for the study of programming languages. This includes topics such as the data structures, expression notations, and abstraction in chapters 2 and 3. Later, metalanguages are introduced for the formal specification of the syntax and semantics of computer programming languages. This material is presented in a manner that allows one to customize the coverage based on course need. Seyed Roosta also teaches paradigm-specific topics with special care, dedicating two full chapters to each paradigm. The first focuses on the specifications of paradigm, including an emphasis on abstraction principles to help students understand the motivation behind certain design issues. The second chapter discusses the implementation issues related to the paradigm, including the use of popular programming languages to help students comprehend the relationship to the design issues discusses earlier. Paradigms discussed include the imperative, object-oriented, logic, functional, and parallel. The book concludes with new paradigms of interest today, including Data Flow, Database, Network, Internet, and Windows programming.

Table of Contents

1. INTRODUCTION.
2. DATA TYPES.
3. PRINCIPLES OR PROGRAMMING LANGUAGES: DESIGN SPECIFICATION.
4. SPECIFICATION OF PROGRAMMING LANGUAGES: SYNTAX SPECIFICATION.
5. DESCRIPTION OF PROGRAMMING LANGUAGES: SEMANTIC SPECIFICATION.
6. SPECIFICATION OF IMPERATIVE PROGRAMMING.
7. IMPERATIVE PROGRAMMING LANGUAGES.
8. SPECIFICATION OF OBJECT-ORIENTED PROGRAMMING.
9. OBJECT-ORIENTED PROGRAMMING LANGUAGES.
10. SPECIFICATION OF DECLARATIVE PROGRAMMING.
11. DECLARATIVE PROGRAMMING LANGUAGE.
12. SPECIFICATION OF APPLICATIVE PROGRAMMING.
13. APPLICATIVE PROGRAMMING LANGUAGES.
14. SPECIFICATION OF PARALLEL PROGRAMMING.
15. PARALLEL PROGRAMMING LANGUAGES.
16. OTHER PROGRAMMING LANGUAGE METHODS.
Appendix.
Bibliography.
Symbols.
Author Index.
Subject Index

商品描述(中文翻譯)

《程式語言基礎》介紹了與程式語言的設計和實現相關的主題,作為所有計算機科學家應該具備的基本技能。作者不是逐個功能地檢查程式語言,而是按概念組織程式語言。前五章為學生提供了學習程式語言的成功基礎。這包括第2章和第3章中的數據結構、表達式表示法和抽象等主題。隨後,引入了用於形式化指定計算機程式語言的元語言。這些材料的呈現方式使人可以根據課程需求自定義內容。Seyed Roosta還特別講授了特定範式的主題,為每個範式專門撰寫了兩章。第一章著重於範式的規範,包括強調抽象原則,以幫助學生理解某些設計問題背後的動機。第二章討論了與範式相關的實現問題,包括使用流行的程式語言來幫助學生理解先前討論的設計問題之間的關係。討論的範式包括命令式、面向對象、邏輯、函數和並行。本書最後介紹了當今感興趣的新範式,包括數據流、數據庫、網絡、互聯網和Windows編程。

目錄


1. 簡介。
2. 數據類型。
3. 程式語言原則:設計規範。
4. 程式語言的規範:語法規範。
5. 程式語言的描述:語義規範。
6. 命令式編程的規範。
7. 命令式編程語言。
8. 面向對象編程的規範。
9. 面向對象編程語言。
10. 声明式編程的規範。
11. 声明式編程語言。
12. 應用編程的規範。
13. 應用編程語言。
14. 并行編程的規範。
15. 并行編程語言。
16. 其他程式語言方法。
附錄。
參考文獻。
符號。
作者索引。
主題索引