System description for an improved information processing machine

Requirements for a machine description facility for compiler testing are discussed. The compiler testing procedure consists of proving that programs are correctly translated by the compiler at hand. This is achieved by use of a common intermediate ...

is a tool for transforming language definitions into other language definitions. It provides a declarative domain-specific language for expressing algorithms over languages. lang-n-change is implemented in OCaml and generates language definitions ...

Languages for describing digital systems have two messages to convey. They must provide enough information about the behavior of the system to permit simulation, and enough information about the structure of the system to indicate how it might be built. ...