Cambridge University Press has no responsibility for the persistence or accuracy of URLs for external or third-party Internet websites referred to in this publication, and does not guarantee that any content on such websites is, or will remain, accurate or appropriate.

Compilers for monomorphic languages, such as C and Pascal, take advantage of types to determine data representations, alignment, calling conventions, and register selection. However, these languages lack important features including polymorphism, abstract datatypes, and garbage collection. In contrast, modern programming languages such as Standard ML (SML), provide all of these features, but ex...

In this paper we describe ASH, an architectural framework for implementing Application-Specific Hardware. ASH is based on automatic hardware synthesis from high-level languages. The generated circuits use only localized computation structures; in consequence, we expect these circuits to be fast, to use little power and to scale well with program complexity. We present in detail CASH, a scalable...

In the context of the INTEGRA project, compilation and code generation features for behavior definition are to be integrated in an existing model-based engineering environment for control systems. The devised compiler architecture is domain-specific and provides support for multiple input languages and multiple target platforms. In this paper we discuss an architectural approach in which the co...

This documentation pertains to the source code and binaries available on the DVDROM that accompanies the book “High Dynamic Range Imaging” [20]. Before compiling or using this code, please refer to the licence information contained in the licence.txt file. In the following section, the procedure for compiling and installing the source is explained. The general use of all operators is detailed i...

The TTCN-3(Testing and Test Control Notation version 3)[1-2] based test systems are widely used for protocol testing in various technical system, but fall to be inefficient in both compiling and running, since the implementation are primarily based on high-level programming language and interpretation-execution mechanism. Viewing the test system as ports state system, this paper proposes a port...