- 授权协议: 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)))
Web Services原理与研发实践
顾宁刘家茂柴晓路 / 机械工业出版社 / 2006-1 / 33.00元
本书以web services技术原理为主线，详细解释、分析包括XML、XML Schema、SOAP、WSDL、UDDI等在内在的web Services核心技术。在分析、阐述技术原理的同时，结合作者在Web Services领域的最新研究成果，使用大量的实例帮助读者深刻理解技术的设计思路与原则。全书共有9章，第1章主要介绍web Services的背景知识；第2-7章着重讲解webServic......一起来看看 《Web Services原理与研发实践》 这本书的介绍吧!
