The work we describe in this paper is part of an ongoing project which aims at the development of an integrated parallel and distributed programming environment for a heterogeneous network with multicomputer nodes. Several programming language models and parallel programming tools will be supported in the environment, on top of a common software platform that interfaces with the underlying oper...

We describe and compare the programming languages C, MATLAB and Python as teaching languages for engineering students. We distinguish between two distinct phases in the process of converting a given problem into a computer program that can provide a solution: (i) finding an algorithmic solution and (ii) implementing this in a particular programming language. It is argued that it is most importa...

In order to formally reason about low-level system programs one needs a semantics (for the programming language in question) that can deal with programs that are not statically type-correct. For system-level programs, the semantics must deal with such heretical constructs like casting integers to pointers and converting pointers between incompatible base types. In this paper we describe a forma...

Lisp, invented in 1958 by John McCarthy, revolutionized how programs could be written and expressed. Instead of giving explicit instructions to a computer, Lisp expressed programs as logical operations and functions. Lisp was the first language to incorporate modern language features including: garbage collection, conditionals, first class functions, and recursion. Also, in 1994 Common Lisp bec...

Although programming assignments in CS515 Data Structures course are reeective of data structure design principles, students' focus is geared towards learning speciic C++ programming skills. Balancing the mastery of fundamentals and the art of programming is still a largely debatable and debated issue in computer science education of introductory computer science (CS) courses. Most educators ag...

We present a new programming language ProFun which is aimed for the speciication and prototype implementation of reactive systems. Pro-Fun combines the paradigms of concurrent and functional programming. A formal operational semantics is developed as a basis for veriication techniques. We have implemented a ProFun-compiler which uses C++ as its target language.

We propose React(C ), an expressive programming language for stochastic modeling and simulation in systems biology that is based on biochemical reactions with constraints. We prove that React(C ) can express the stochastic π-calculus, in contrast to previous rule-based programming languages, and further illustrate the high expressiveness of React(C ). We present a stochastic simulator for React...

In December 2006, an anonymous online survey was publicized on the various ACM mailing lists (SIGCSE, SIGITE). Its purpose was to determine the role of the C language in the various modern computing curricula (CS, IT...). This paper summarizes the results and stresses out the quantitative usage of this language in introductory and intermediate programming courses as well as in upper-level under...

Montages are a semi-visual formalism for defining the static and dynamic semantics of a programming language using Gurevich’s Abstract State Machines (ASMs). We describe an application of Montages to describe the static and dynamic semantics of the C programming language.