Language prototyping : an algebraic specification approach
著者
書誌事項
Language prototyping : an algebraic specification approach
(AMAST series in computing / managing editor: T. Rus ; advisory board; A. Arnold ... [et al.], v. 5)
World Scientific, c1996
大学図書館所蔵 件 / 全8件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. 323-342
Includes index
内容説明・目次
内容説明
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.
目次
- An overview of ASF+SDF
- the static semantics of Pascal
- a specification of the object-oriented langauge KOOL
- modular error handling
- functional programs with multi-level signatures
- incremental type checking
- origin tracking
- second-order type checking
- origin tracking for higher-order term rewriting systems.
「Nielsen BookData」 より