Multi-Level Specifications

Eelco Visser. Multi-Level Specifications. In Arie van Deursen, Jan Heering, Paul Klint, editors, Language Prototyping. An Algebraic Specification Approach. Volume 5 of AMAST Series in Computing, World Scientific, Singapore, September 1996.

  title = {Multi-Level Specifications},
  author = {Eelco Visser},
  year = {1996},
  month = {September},
  tags = {semantics, rule-based, syntax definition, SDF, multi-level specification, language design, type system, rules, algebraic specification, C++, type checking,  algebra, abstraction, design, ASF+SDF, language prototyping},
  researchr = {},
  cites = {0},
  citedby = {0},
  booktitle = {Language Prototyping. An Algebraic Specification Approach},
  editor = {Arie  van Deursen and Jan Heering and Paul  Klint},
  volume = {5},
  series = {AMAST Series in Computing},
  address = {Singapore},
  publisher = {World Scientific},