本書以實現(xiàn)法律化的程序設計為目標、面向合約軟件開發(fā)理論為基礎, 系統(tǒng)地介紹了智能法律合約與面向合約軟件工程的概念與架構, 對智能法律合約的法律屬性、語言設計進行了理論分析和模型設計, 提出了智能法律合約的編譯方法、訂立方法等實用化工具和技術, 并在數(shù)字資產與權屬交易和智能合約即服務等方面給出了智能法律合約的應用解決方案和相關智能法律合約語言標準。本書系統(tǒng)地闡述了如何實現(xiàn)法律化的程序設計與開發(fā), 讓非計算機專業(yè)人士也可參與設計自己的區(qū)塊鏈智能合約。本書內容能夠很好地幫助讀者了解智能法律合約的研究進展、基本理論和方法, 以及未來發(fā)展方向, 其中示例也能幫助本領域學者進行示例化研究, 從而推動智能法律合約的發(fā)展。