These aspects of AKL are cleanly integrated, and provided using a minimum of basic concepts, common to them all. AKL agents will serve as processes, objects, functions, relations, or constraints, depending on the context. AKL is a programming language kernel. Some aspects of a complete programming language, a user language, have been omitted, such as type declarations and modules, a standard li...

One important aspect when teaching OO technology is the semantics of programming. Much time is traditionally spent on syntax and language mechanisms whereas the semantics is given less time. To remedy this problem, we try to introduce a semantic thinking throughout the entire computer science education. We have developed a contract-based programming method to enforce the semantic aspects and ha...

This short note outlines two different ways of describing communication-centric software in the form of formal calculi and discuss their relationship. Two different paradigms of description, one centring on global message flows and another centring on local (end-point) behaviours, share the common feature, structured representation of communications. The global calculus originates from Web Serv...

High-level languages offer abstraction mechanisms that can reduce development time and improve software quality. But abstraction mechanisms often have an accumulative runtime overhead that can discourage their use. Multi-stage programming (MSP) languages offer constructs that make it possible to use abstraction mechanisms without paying a runtime overhead. This paper studies applying MSP to imp...

This short note outlines two different ways of describing communication-centric software in the form of formal calculi and discuss their relationship. Two different paradigms of description, one centring on global message flows and another centring on local (end-point) behaviours, share the common feature, structured representation of communications. The global calculus originates from Web Serv...

Computer science education in schools is still mainly based on the imperative programming paradigm via Pascal, but there are also many proposals how to teach the functional, predicative or objectoriented style. All these approaches share the (reasonable) implicit assumption that one or two of the non-imperative paradigms have to be included into lessons in order to give students a correct view ...

Are higher-order extensions to logic programming needed? We answer this question in the negative by showing that higher-order features are already available in pure logic programming. It is demonstrated that higher-order lambda calculus-based languages can be compositionally embedded in logic programming languages preserving their semantics and abstraction facilities. Further, we show that such...

After a brief introduction to generative, generic, and aspect-oriented programming, we point out four key elements that appear in the definition of generative programming and that are addressed in this position paper from the perspective of distributed systems development. Then, based on a concrete RMI distribution example, we start motivating how the expressiveness power of generics and the cr...

The advent of multi-core processors has brought parallel programming to the mainstream. Memory ordering plays a fundamental role in writing efficient and correct parallel programs. This talk will discuss the recently released Intel 64 architecture memory ordering. We will discuss the motivation, and the guarantees provided by this ordering. We will also discuss how it relates to language level ...