- 授权协议: BSD
- 开发语言: Lisp
- 操作系统: 跨平台
- 软件首页: http://homes.cs.washington.edu/~emina/rosette/
软件介绍
Rosette 是新的计算机辅助解析编程（SDSLs）语言，扩展了 Racket 的一些特性：合成，验证，调试和执行。
Rosette 是一个解算器辅助的编程语言，扩展了 Racket 用于程序合成、校验等。为了校验和合成代码，Rosette 将其编译为带 SMT 解决逻辑的逻辑限制解算。
示例代码：
#lang rosette (define (interpret formula) (match formula [`(∧ ,expr ...) (apply && (map interpret expr))] [`(∨ ,expr ...) (apply || (map interpret expr))] [`(¬ ,expr) (! (interpret expr))] [lit (constant lit boolean?)])) ; This implements a SAT solver. (define (SAT formula) (solve (assert (interpret formula)))) (SAT `(∧ r o (∨ s e (¬ t)) t (¬ e)))
数据压缩导论（第4版）
[美] Khalid Sayood / 贾洪峰 / 人民邮电出版社 / 2014-1 / 129.00
数据压缩已经成为信息革命的一门支撑技术，这场革命已经改变了我们的生活，而在此过程中，数据压缩也变得几乎无处不在。从MP3播放器到智能手机，再到数字电视和数字电影，数据压缩几乎成了所有信息技术的必备要素。 近年来，以大数据为标志的互联网技术高歌猛进。数据规模大、产生速度快、来源多样等特性，导致数据存储和处理都前所未有地复杂。《数据压缩导论（第4版）》作为迄今为止数据压缩领域最全面而深入的著作，......一起来看看 《数据压缩导论（第4版）》 这本书的介绍吧!
