The Fifth workshop on Specification of Abstract Data Types took place 1-4 September 1987 in Gullane, near Edinburgh. This book contains papers based on selected talks presented at the workshop. The algebraic specifica...
详细信息
ISBN:
(数字)9783540459705
ISBN:
(纸本)9783540503255
The Fifth workshop on Specification of Abstract Data Types took place 1-4 September 1987 in Gullane, near Edinburgh. This book contains papers based on selected talks presented at the workshop. The algebraic specification of abstract data types has been a flourishing topic in computer science since 1974. The main goal of work in this area is to evolve a methodology to support the design and formal development of reliable software. The particular approach taken builds upon concepts from universal algebra and elementary categorytheory. The core of this work has now stabilized to a great extent and is mature enough to find application in real-life software engineering and to related topics such as concurrency, databases, and even hardware design. Such applications are becoming more feasible because of the emergence of integrated specification/development environments which include tools such as theorem provers based on fast term rewriting engines. Researchers are also exploring ways of widening the scope of the theory to make it applicable to (for example) higher-order functions and non-deterministic programs. Another trend is toward taking a more general view which allows superficially different approaches having the same general aims and methods to be unified.
This volume consists of the papers accepted for presentation at the second international workshop on programming Language Implementation and Logic programming (PLILP '90) held in Linköping, Sweden, August 20-...
详细信息
ISBN:
(数字)9783540462989
ISBN:
(纸本)9783540530107
This volume consists of the papers accepted for presentation at the second international workshop on programming Language Implementation and Logic programming (PLILP '90) held in Linköping, Sweden, August 20-22, 1990. The aim of the workshop was to identify concepts and techniques used both in implementation of programming languages, regardless of the underlying programming paradigm, and in logic programming. The intention was to bring together researchers working in these fields. The volume includes 26 selected papers falling into two categories. Papers in the first category present certain ideas from the point of view of a particular class of programming languages, or even a particular language. The ideas presented seem to be applicable in other classes of languages. Papers in the second category directly address the problem of integration of various programming paradigms. The proceedings of the predecessor workshop PLILP '88, held in Orléans, France, May 16-18, 1988, are available as Lecture Notes in computer Science, Vol. 348.
This volume is the proceedings of the 3rd workshop on the Mathematical Foundations of programming Language Semantics held at Tulane University, New Orleans, Louisiana, April 8-10, 1987. The 1st workshop was at Kansas ...
详细信息
ISBN:
(数字)9783540389200
ISBN:
(纸本)9783540190202
This volume is the proceedings of the 3rd workshop on the Mathematical Foundations of programming Language Semantics held at Tulane University, New Orleans, Louisiana, April 8-10, 1987. The 1st workshop was at Kansas State University, Manhattan, Kansas in April, 1985 (see LNCS 239), and the 2nd workshop with a limited number of participants was at Kansas State in April, 1986. It was the intention of the organizers that the 3rd workshop survey as many areas of the Mathematical Foundations of programming Language Semantics as reasonably possible. The workshop attracted 49 submitted papers, from which 28 papers were chosen for presentation. The papers ranged in subject from categorytheory and Lambda-calculus to the structure theory of domains and power domains, to implementation issues surrounding semantics.
This volume comprises the invited surveys and revised versions of the submitted papers selected for presentation at the 10th workshop on Specification of Abstract Data Types, held jointly with the 4th COMPASS workshop...
详细信息
ISBN:
(数字)9783540491989
ISBN:
(纸本)9783540591320
This volume comprises the invited surveys and revised versions of the submitted papers selected for presentation at the 10th workshop on Specification of Abstract Data Types, held jointly with the 4th COMPASS workshop in S. Margherita, Italy in June 1994.;The volume gives a comprehensive state-of-the-art report of the research activities: besides classical algebraic techniques, other relevant topics are investigated, such as formalisms based on general logics and categorytheory, type systems for specification languages and new structures for modelling dynamic systems. In addition to four surveys by prominent leaders in the area and 23 papers presenting original research, the book contains an annotated bibliography covering all contributions to the ten editions of the workshop.
'What does your Master teach?' asked a visitor. 'Nothing,' said the disciple. 'Then why does he give discourses?' 'He only points the way - he teaches nothing.' Anthony de Mello, One Mi...
详细信息
ISBN:
(数字)9783662028308
'What does your Master teach?' asked a visitor. 'Nothing,' said the disciple. 'Then why does he give discourses?' 'He only points the way - he teaches nothing.' Anthony de Mello, One Minute Wisdom During the last three decades there has been a growing interest in algorithms which rely on analogies to natural processes. The emergence of massively par allel computers made these algorithms of practical interest. The best known algorithms in this class include evolutionary programming, genetic algorithms, evolution strategies, simulated annealing, classifier systems, and neural net works. Recently (1-3 October 1990) the University of Dortmund, Germany, hosted the First workshop on Parallel Problem Solving from Nature [164]. This book discusses a subclass of these algorithms - those which are based on the principle of evolution (survival of the fittest). In such algorithms a popu lation of individuals (potential solutions) undergoes a sequence of unary (muta tion type) and higher order (crossover type) transformations. These individuals strive for survival: a selection scheme, biased towards fitter individuals, selects the next generation. After some number of generations, the program converges - the best individual hopefully represents the optimum solution. There are many different algorithms in this category. To underline the sim ilarities between them we use the common term "evolution programs" .
This volume contains selected papers of the International workshop on "Categorical Methods in computer Science - with Aspects from Topology" and of the "6th International Data Type workshop" held i...
详细信息
ISBN:
(数字)9783540467878
ISBN:
(纸本)9783540517221
This volume contains selected papers of the International workshop on "Categorical Methods in computer Science - with Aspects from Topology" and of the "6th International Data Type workshop" held in August/September 1988 in Berlin. The 23 papers of this volume are grouped into three parts:;includes papers on categorical foundations and fundamental concepts from categorytheory in computer science.;presents applications of categorical methods to algebraic specification languages and techniques, data types, data bases, programming, and process specifications.;comprises papers on categorial aspects from topology which mainly concentrate on special adjoint situations like cartesian closeness, Galois connections, reflections, and coreflections which are of growing interest in categorical topology and computer science.
暂无评论