代码搜索和导航 DXR
- 授权协议: MIT
- 开发语言: Python
- 操作系统: 跨平台
- 软件首页: https://github.com/mozilla/dxr
软件介绍
DXR 是一个代码搜索和导航工具，旨在理解像火狐那种大型项目。它支持全文搜索和正则表达式搜索，以及结构查询。事实上，它使用三线行指标（trigram indices）、re2 库，并收集由编译器检测的静态分析数据，这使得搜索更快更精确。
Types and Programming Languages
Benjamin C. Pierce / The MIT Press / 2002-2-1 / USD 95.00
A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of typ......一起来看看 《Types and Programming Languages》 这本书的介绍吧!
