登入選單
返回Google圖書搜尋
其他書名
An Algebraic Specification Approach
出版World Scientific, 1996
主題Computers / Programming / GeneralComputers / Programming Languages / GeneralComputers / Software Development & Engineering / General
ISBN98102273299789810227326
URLhttp://books.google.com.hk/books?id=GT1qDQAAQBAJ&hl=&source=gbs_api
EBookSAMPLE
註釋Language prototyping provides a means to generate language implementations automatically from high-level language definitions. This volume presents an algebraic specification approach to language prototyping, and is centered around the ASF+SDF formalism and Meta-Environment. The volume is an integrated collection of articles covering a number of case studies, and includes several chapters proposing new techniques for deriving advanced language implementations. The accompanying software is freely available.