The Transmogrifier C hardware description language is almost identical to the C programming language, making it attractive to the large community of C-language programmers. This paper describes the semantics of the language and presents a Transmogrifier C compiler that targets the Xilinx 4000 FPGA. The compiler is operational and has produced several working circuits, including a graphics displ...

A number of programming language models, including actors, provide inherent concurrency. We are developing high-level language constructs using actors and studying their implementation on multiprocessor architectures. This report describes our experience with programming in actors by means of a speci c example of scienti c computation. We also discuss work in progress on language annotations an...

High-performance scientific applications are usually built from software modules written in multiple programming languages. This raises the issue of language interoperability which involves making calls between languages, converting basic types, and bridging disparate programming models. Babel provides a featurerich, extensible, high-performance solution to the language interoperability problem...

Most robot programming takes place in the “time domain.” That is, the goal is to specify the behavior of a system that is acquiring a continual temporal stream of inputs, and is required to provide a continual, temporal stream of outputs. We present a reactive programming language, based on the Functional Reactive Programming paradigm, for specifying such behavior. The major attributes of this ...

An observational study was carried out with student subjects from a programming class. The goal of the study was to understand the impact of diierent programming languages on the productivity of the students. Students used a language of their choice (C or SML) for the homeworks and recorded eeort expended to complete the assignments. An automated infrastructure was created for homework submissi...

C++0x is the working title for the revision of the ISO standard of the C++ programming language that was originally planned for release in 2009 (but that will probably appear in 2011). The largest language extension in C++0x was “concepts”, that is, a collection of features for constraining template parameters. In September of 2008, the C++ standards committee voted the concepts extension into ...

We present the investigation of the high-level design of soft IPs based on the meta-programming techniques. We distinguish the meta-programming techniques as follows: the internal (using capabilities of a single language), external (using two languages, where a meta-language performs modifications of a target language code), and extension-based ones. High-level languages such as C++/SystemC can...

This paper reports on an experiment to add concurrency to the Cyclone programming language, in order to get a safe concurrent language. The basic model considered is that of FairThreads in which synchronous and asynchronous aspects are mixed. The language Loft implements the FairThreads model in C. In this paper, one uses Cyclone instead of C in the implementation of Loft. Using the multi-threa...

This paper is about a new implementation technique for interaction nets—a visual programming language based on graph rewriting. We compile interaction nets to C, which offers a robust and efficient implementation, in addition to portability. In the presentation of this work we extend the interaction net programming paradigm to introduce a number of features which make it a practical programming...

ABSTRACT The su ess of aspe t-oriented programming (AOP) raises and falls with user-friendly tool support. With Aspe tJ1 the rst omplete and powerful language extension for AOP has been reated. With this paper we intend to extend the Aspe tJ approa h to C/C++. We will present and dis uss a proposal for a set of language extensions we all Aspe tC++ to fa ilitate aspe t-oriented programming with ...