This volume describes recent research in graph reduction and related areas of functional and logicprogramming, as reported at a workshop in 1986. The papers are based on the presentations, and because the final versi...
详细信息
ISBN:
(数字)9783540479635
ISBN:
(纸本)9783540184201
This volume describes recent research in graph reduction and related areas of functional and logicprogramming, as reported at a workshop in 1986. The papers are based on the presentations, and because the final versions were prepared after the workshop, they reflect some of the discussions as well. Some benefits of graph reduction can be found in these papers: - A mathematically elegant denotational semantics - Lazy evaluation, which avoids recomputation and makes programming with infinite data structures (such as streams) possible - A natural tasking model for fine-to-medium grain parallelism. The major topics covered are computational models for graph reduction, implementation of graph reduction on conventional architectures, specialized graph reduction architectures, resource control issues such as control of reduction order and garbage collection, performance modelling and simulation, treatment of arrays, and the relationship of graph reduction to logicprogramming.
This volume presents the proceedings of the Computer Sciencelogicworkshop CSL '92, held in Pisa, Italy, inSeptember/October 1992. CSL '92 was the sixth of the seriesand the first one held as Annual Confere...
详细信息
ISBN:
(数字)9783540478904
ISBN:
(纸本)9783540569923
This volume presents the proceedings of the Computer Science
logicworkshop CSL '92, held in Pisa, Italy, in
September/October 1992. CSL '92 was the sixth of the series
and the first one held as Annual Conference of the European
Association for Computer Science logic (EACSL). Full
versions of the workshop contributions were collected after
their presentation and reviewed. On the basis of 58 reviews,
26 papers were selected for publication, and appear here in
revised final form.
Topics covered in the volume include: Turing machines,
linear logic, logic of proofs, optimization problems, lambda
calculus, fixpoint logic, NP-completeness, resolution,
transition system semantics, higher order partial functions,
evolving algebras, functionallogicprogramming, inductive
definability, semantics of C, classes for a functional
language, NP-optimization problems, theory of types and
names, sconing and relators, 3-satisfiability, Kleene's
slash, negation-complete logic programs, polynomial-time
oracle machines, and monadic second-order properties.
This volume contains papers presented at the secondinternational workshop on extensions of logicprogramming,which was held at the Swedish Institute of Computer Science,Stockhom, January 27-29, 1991.The 12 papers ...
详细信息
ISBN:
(数字)9783540471141
ISBN:
(纸本)9783540554981
This volume contains papers presented at the second
international workshop on extensions of logicprogramming,
which was held at the Swedish Institute of Computer Science,
Stockhom, January 27-29, 1991.
The 12 papers describe and discuss several approaches to
extensions of logicprogramming languages such as PROLOG, as
well as connections between logicprogramming and functionalprogramming, theoretical foundations of extensions,
applications, and programming methodologies.
The first workshop in this series was held in T}bingen in
1989 and its proceedings areavailable as LNCS 475. The
third workshop will be held in Bologna in 1992.
This volume contains the final revised versions of the best papers presented at the First International workshop on Higher-Order Algebra, logic, and Term Rewriting (HOA '93), held in Amsterdam in September 1993. H...
详细信息
ISBN:
(数字)9783540485797
ISBN:
(纸本)9783540582335
This volume contains the final revised versions of the best papers presented at the First International workshop on Higher-Order Algebra, logic, and Term Rewriting (HOA '93), held in Amsterdam in September 1993. Higher-Order methods are increasingly applied in functional and logicprogramming languages, as well as in specification and verification of programs and hardware. The 15 full papers in this volume are devoted to the algebra and model theory of higher-order languages, computational logic techniques including resolution and term rewriting, and specification and verification case studies; in total they provide a competently written overview of current research and suggest new research directions in this vigourous area.
This volume consists of some of the papers that were delivered during the workshop on "foundations of logic and functionalprogramming" held in Trento, Italy, from December 15th to 19th, 1986. The meeting ce...
详细信息
ISBN:
(数字)9783540391265
ISBN:
(纸本)9783540191292
This volume consists of some of the papers that were delivered during the workshop on "foundations of logic and functionalprogramming" held in Trento, Italy, from December 15th to 19th, 1986. The meeting centered on themes and trends in functionalprogramming and in logicprogramming. This book contains five papers contributed by the invited speakers and five selected contributions.
This volume contains papers selected from the contributionsto the 4th International workshop on Graph Grammars andTheir Application to Computer Science. It is intended toprovide a rich source of information on t...
详细信息
ISBN:
(数字)9783540383956
ISBN:
(纸本)9783540544784
This volume contains papers selected from the contributions
to the 4th International workshop on Graph Grammars and
Their Application to Computer Science. It is intended to
provide a rich source of information on the stateof the art
and newest trends to researchers active in the area and for
scientists who would like to know more about graph grammars.
The topics of the papers range from foundations through
algorithmic and implemental aspects to various issues that
arise in application areas like concurrent computing,
functional and logicprogramming, software engineering,
computer graphics, artificial intelligence and biology. The
contributing authors are F.-J. Brandenburg, H. Bunke, T.C.
Chen, M. Chytil, B. Courcelle, J. Engelfriet, H. G|ttler, A.
Habel, D. Janssens, C. Lautemann, B. Mayoh, U. Montanari,
M. Nagl, F. Parisi-Presicci, A. Paz, P. Prusinkiewics, M.R.
Sleep, A. Rosenfeld, J. Winkowski and others.
暂无评论