Reactive systems are interactive programs that react continuously to sequences of activations coming from the external world. Reactive programming leads to a new programming style where one programs in terms of reactions to activations and reasons in a logic of instants. This paper describes an extension of the C programming language called RC (for ‘Reactive C’) to program reactive systems. The...

This paper examines the use of the C# programming language for a first course in computer programming in an engineering curriculum. C# is an object-oriented programming language that incorporates language features from C, C++, Java, and Delphi. The Department of Electrical and Computer Engineering at the University of Waterloo has been using C# in its Introduction to Computing course for the pa...

Currently, the interaction between ontologies and general purpose programming languages mostly consists of an indirect mapping between the ontology and the programming language. The language and libraries are often basically used as a programmable ontology editor. In this paper we present a different approach that creates an ontology from regular data objects in a (statically typed) mainstream ...

The C language leads a double life: as an application programming language of yesteryear, perpetuated by circumstance, and as a systems programming language which remains a weapon of choice decades after its creation. This essay is a C programmer’s reaction to the call to abandon ship. It questions several properties commonly held to define the experience of using C; these include unsafety, und...

The usefulness of the Web Ontology Language to describe domains of discourse and to facilitate automatic reasoning services has been widely acknowledged. However, the programmability of ontological knowledge bases is severely impaired by the di erent conceptual bases of statically typed object-oriented programming languages such as Java and C# and ontology languages such as the Web Ontology Lan...

In this report I describe types of program annotations that could be used in C++ to enhance the testability, assurance, and overall quality of the code being developed. These annotations are formal, processable assertions which capture constraints and speciications which cannot be discerned from the program code itself. I rst describe in some depth previous work in this area, and then try to ap...

This paper presents a practical method of adding problem-specific notation to an established computer language. Our idea is to use unrestricted operator overloading as a tool to map the problem domain notation directly into an existing programming language. Our method introduces new operator symbols and function names into a host language by overloading existing usage. We extend the host progra...

With the growing popularity of the Java programming language for both client and server side applications in network centric computing, there is a rising need for programming libraries that can be easily integrated into Java programs. Many mature programming libraries exist for the C programming language. This paper surveys approaches to the migration of C source code to Java and evaluates thei...

In this paper we propose a new approach to the description of a network of interacting processes in a traditional programming language. Special programming languages or extensions to sequential languages are usually designed to express the semantics of concurrent execution. Using libraries in C++, Java, C#, and other languages is more practical way of concurrent programming. However, this metho...