Programming Languages and Operational Semantics

Programming Languages and Operational Semantics pdf epub mobi txt 電子書 下載2025

出版者:
作者:Fernandez, M.
出品人:
頁數:156
译者:
出版時間:2004-1
價格:$ 20.91
裝幀:
isbn號碼:9780954300630
叢書系列:
圖書標籤:
  • pl
  • compiler
  • 編程語言
  • 形式語義
  • 操作語義
  • 程序設計語言
  • 語義學
  • 編譯原理
  • 理論計算機科學
  • 形式化方法
  • 程序驗證
  • 計算理論
想要找書就要到 小美書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

具體描述

This book provides a concise introduction to the essential concepts in programming languages, using techniques from operational semantics. It is addressed to undergraduate students, as a complement to programming languages or operational semantics courses. There are three parts in the book, highlighting three major programming paradigms: - imperative languages: the main features of these languages are illustrated using Java, C, Pascal - functional languages: modern languages such as ML and Haskell are used to describe the functional style of programming - logic languages: the last part of the book gives an overview of logic programming using Prolog. After a general description of each family of languages, their semantics are studied using abstract machines and structural operational semantics. The book gives an in-depth analysis of the basic concepts in programming languages instead of a mere survey of languages, privileging the understanding of the basic techniques underlying the semantics of languages over simply describing their properties.

著者簡介

圖書目錄

讀後感

評分

評分

評分

評分

評分

用戶評價

评分

评分

评分

评分

评分

本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度google,bing,sogou

© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有