相關主題
商品描述
This volume presents the proceedings of a conference on programming and programming languages. It contains original research contributions addressing fundamental issues and important developments in the design, specification and implementation of programming languages and systems. Topics include: - Program development: specification, methodology, tools, environments; - Programming language concepts: types, data abstraction, parallelism, real-time; - Language implementation techniques: compilers, interpreters, abstract machine design, optimization; - Programs as data objects: abstract interpretation, program transformation, partial evaluation; - Programming styles: imperative, functional, predicative, object-oriented.
商品描述(中文翻譯)
本卷呈現了一場有關程式設計及程式語言的會議論文集。它包含了針對程式語言及系統的設計、規範和實作中基本問題及重要發展的原創研究貢獻。主題包括：
- 程式開發：規範、方法論、工具、環境；
- 程式語言概念：類型、資料抽象、平行處理、即時性；
- 語言實作技術：編譯器、直譯器、抽象機器設計、優化；
- 程式作為資料物件：抽象解釋、程式轉換、部分評估；
- 程式設計風格：命令式、函數式、預測式、物件導向。
