本书以实现法律化的程序设计为目标、面向合约软件开发理论为基础，介绍了智能法律合约与面向合约软件工程的概念与架构，对智能法律合约的法律属性、语言设计进行了理论分析和模型设计，提出了智能法律合约的编译方法、订立方法等实用化工具和技术，并在数字资产与权属交易和智能合约即服务等方面给出了智能法律合约的应用解决方案和相关智能法律合约语言标准。并列题名：Smart legal contract eng