- 授权协议: BSD
- 开发语言: C/C++
- 操作系统: OS X
- 软件首页: http://lldb.llvm.org/
软件介绍
LLDB 是下一代高性能的调试器，构建一组可重用的组件，覆盖很多 LLVM 项目的库，例如 Clang 表达式解析器和 LLVM 反汇编器。目前该项目还处于前期开发状态，但已经注意支持在 Mac OS X 上的 C/C++ 和 Objective-C 的开发。
程序设计语言理论基础
米切尔 / 电子工业出版社 / 2006-11 / 68.00元
本书提出了一个框架，用于分析程序设计语言的语法、操作和语义性质，该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法，以及一个等式逻辑和用于表达式求值的一组规则。本书中最简单的系统是称为泛代数的一个等式系统，它可以用来公理化和分析通常用于程序设计的许多数据类型。可作为理论计算机科学、软件系统和数学专业的大学本科高年级或者研究生初始学习阶段的教材，同时也适合用于......一起来看看 《程序设计语言理论基础》 这本书的介绍吧!
