Declarative programming languages are based on sound mathematical foundations which means that they offer many advantages for software development. These advantages include their powerful descriptive capabilities, the availability of program analysis techniques and the potential for parallel execution. This volume contains the proceedings of a seminar and workshop organised by the Esprit Basic Research Action Phoenix in collaboration with the Esprit Basic Research Action Integration. Both these groups have been closely involved in investigating the foundations of...
Declarative programming languages are based on sound mathematical foundations which means that they offer many advantages for software development. Th...
Architectures and tools are two important considerations in the construction of interactive computer systems. The former is concerned with the optimal structural organisation of systems and the latter with the effective support of the design and management of user interfaces. They are regarded as the areas of research most likely to contribute to the development of existing interactive systems, in particular by providing improved architectures capable of supporting new styles of interaction and more sophisticated software tools to improve productivity. This volume combines the proceedings of...
Architectures and tools are two important considerations in the construction of interactive computer systems. The former is concerned with the optimal...
Logic programming synthesis and transformation are methods of deriving logic programs from their specifications and, where necessary, producing alternative but equivalent forms of a given program. The techniques involved in synthesis and transformation are extremely important as they allow the systematic construction of correct and efficient programs and have the potential to enhance current methods of software production. Transformation strategies are also being widely used in the field of logic program development. LOPSTR 91 was the first workshop to deal exclusively with both logic program...
Logic programming synthesis and transformation are methods of deriving logic programs from their specifications and, where necessary, producing altern...
Refinement is the term used to describe systematic and formal methods of specifying hard- and software and transforming the specifications into designs and implementations. The value of formal methods in producing reliable hard- and software is widely appreciated by academics and workers in industry, despite the fact that certain research areas, such as the application to industrial-scale problems, are still in their infancy. This volume contains the papers presented at the 5th Refinement Workshop held in London, 8-10 January 1992. Its theme was the theory and practice of software...
Refinement is the term used to describe systematic and formal methods of specifying hard- and software and transforming the specifications into design...
The Glasgow functional programming group has held a workshop each summer since 1988. The entire group, accompanied by a selection of colleagues from other institutions, retreats to a pleasant Scottish location for a few days. Everyone speaks briefly, enhancing coherence, cross fertilisation, and camaraderie in our work. The proceedings of the first workshop were published as a technical report. Demand for this was large enough to encourage wider publication, and subsequent proceedings have been published in the Springer-Verlag Workshops in Computing series. These are the proceedings of...
The Glasgow functional programming group has held a workshop each summer since 1988. The entire group, accompanied by a selection of colleagues from o...
This collection of papers draws together a variety of approaches for adding ob ject orientation to the Z formal specification language. These papers are not a conference proceedings, but have a slightly more complicated his tory. This work has grown and evolved from some work originally done in the ZIP project, under the United Kingdom's Department of Trade and Industry (DTI) IED initiative. ZIP is a three year project which aims to make the use of the Z specification language more widespread. It hopes to achieve this by producing a standard for Zj developing a method for Zj building tool...
This collection of papers draws together a variety of approaches for adding ob ject orientation to the Z formal specification language. These papers a...
In ordinary mathematics, an equation can be written down which is syntactically correct, but for which no solution exists. For example, consider the equation x = x + 1 defined over the real numbers; there is no value of x which satisfies it. Similarly it is possible to specify objects using the formal specification language Z 3,4], which can not possibly exist. Such specifications are called inconsistent and can arise in a number of ways. Example 1 The following Z specification of a functionf, from integers to integers "f x: 1 x O. fx = x + 1 (i) "f x: 1 x O. fx = x + 2 (ii) is inconsistent,...
In ordinary mathematics, an equation can be written down which is syntactically correct, but for which no solution exists. For example, consider the e...
Since its conception nearly 20 years ago, logic programming has been developed to the point where it now plays an important role in areas such as database theory, artificial intelligence and software engineering. There are, however, still many outstanding research issues which need to be addressed, and the UK branch of the Association for Logic Programming was set up to provide a forum where the flourishing research community could discuss important issues which were often by- passed at the larger international conferences. This volume contains the invited papers, refereed papers and...
Since its conception nearly 20 years ago, logic programming has been developed to the point where it now plays an important role in areas such as data...
This book contains the edited versions of papers presented at the Fourth Irish Conference on Artificial Intelligence and Cognitive Science (AICS'91), which was held at University College, Cork, Ireland on 19-20 September 1991. The main aims of this annual conference series are to promote AI research in Ireland, to provide a forum for the exchange of ideas amongst different disciplines concerned with the study of cognition, and to provide an opportunity for industry to see what research is being carried out in Ireland and how it might benefit from the results of this research. While most of...
This book contains the edited versions of papers presented at the Fourth Irish Conference on Artificial Intelligence and Cognitive Science (AICS'91), ...
The annual Irish Conferences on Artificial Intelligence and Cognitive Science have become the major forum in Ireland for the discussion of various aspects of artificial intelligence. Their aim is to provide a forum where researchers can present their current work, and where industrial and commercial users can relate this work to their own practical needs and experiences. Although the emphasis of the conferences is on Irish research, there are also important contributions from Europe, Australia, Canada, and the USA. This volume is based on the proceedings of the Fifth Irish Conference on...
The annual Irish Conferences on Artificial Intelligence and Cognitive Science have become the major forum in Ireland for the discussion of various asp...