We describe a deenitional approach to the combination of functional and logic programming based on the theory of Partial Induc-tive Deenitions. The described method produces programs directly exe-cutable in the deenitional programming language GCLA. We show both a basic calculus for functional logic program deenitions and discuss a reened version where the rules deenitional resolution, deenitio...

What would be today's programming language of choice for distributed computing in the Internet? Few would doubt that it should be Java [Arnold/Gosling 96], given its platform independence and the possibility of loading Java applets over the network. So if the prophets and the faithful are right, the basic design and the special features of Java should make distributed programming easy for the e...

This paper describes the design of the dialogue based integrated development environment. It discusses the basic idea of the system grammar based dialogue generation. Generating dialogues by means of grammar allows the system to be nearly independent on the programming language and to limit syntactical errors in the generated code. The rest of the paper is devoted to the techniques making dialo...

Programming learning is complex for many novice students at university level. The most important problem for many is their low ability to develop an algorithm that solves a given problem. The application of basic concepts or the design of simple algorithms can be difficult obstacles. These difficulties are felt independently of the programming language or paradigm used. Some authors identified ...

We present a tutorial introduction to the semantics of a basic nondeterministic imperative programming language in Unifying Theories of Programming (UTP). First, we give a simple relational semantics that accounts for a theory of partial correctness. Second, we give a semantics based on the theory of precondition-postcondition pairs, known in UTP as designs. This paper should be read in conjunc...

Exceptions are an important feature of modern programming languages, but their compilation has traditionally been viewed as an advanced topic. In this article we show that the basic method of compiling exceptions using stack unwinding can be explained and verified both simply and precisely, using elementary functional programming techniques. In particular, we develop a compiler for a small lang...

This paper presents the benefits of using a generic FPGA tool set developed at the university of Brest for programming virtual FPGA structures. From a high level FPGA description, the basic FPGA tools such a placer, a router or an editor are automatically generated. The FPGA description is not constrained by any model, so that abstract FPGA structures, such as virtual FPGAs, can directly exploi...

This paper discusses the current resurgence of interest in the Linda coordination language for parallel and distributed programming. Particularly in the Java field, there have been a number of developments over the past few years. These developments are summarised together with the advantages of using Linda for programming concurrent systems. Some problems with the basic Linda approach are also...

Formal methods are not used widely in industrial software development, because the overhead of formally proving program properties is generally not acceptable. In this paper we present an ongoing research project to make the construction of such proofs easier by embedding the proof system into a compiler. Using the introduced new programming language, the programmer writes formal specification ...

This paper describes a course in computer programming that is being offered to freshmen and sophomores in civil engineering at NC State. Visual Basic (VBA in Excel) and MATLAB are being used as the programming languages. Much of the learning occurs through reverse engineering and imitation. Typical civil engineering problems are used to present the programming concepts. Especially in the instan...