|
Showing 1 - 3 of
3 matches in All Departments
Methods for the algebraic specification of abstract data types were
proposed in the early 1970s in the USA and Canada and became a
major research issue in Europe shortly afterwards. Since then the
algebraic approach has come to play a central role in research on
formal specification and development, as its range of applications
was extended to the specification of complete software systems, to
the formal description of the program development process, and to
the uniform definition of syntax and semantics of programming
languages. Today this approach extends beyond just software to the
development of integrated hardware and software systems. These
flourishing activities in the area of algebraic specifications have
led to an abundance of approaches, theories and concepts, which
have universal algebra, category theory and logic as a common
mathematical basis. This volume is an annotated bibliography which
provides an up-to-date overview of past and present work on
algebraic specification. No attempt is made to provide a coherent
introduction to the topic for beginners; the intention is rather to
provide a guide to the current literature for researchers in
algebraic specification and neighboring fields. Some indications of
how the different approaches are related are included, together
with some ideas concerning possible future directions.
This volume contains the proceedings of the First International
Workshop on Algebraic and Logic Programming held in Gaussig (German
Democratic Republic) from November 14 to 18, 1988. The workshop was
devoted to Algebraic Programming, in the sense of programming by
algebraic specifications and rewrite rule systems, and Logic
Programming, in the sense of Horn clause specifications and
resolution systems. This includes combined algebraic/logic
programming systems, mutual relations and mutual implementation of
programming paradigms, completeness and efficiency considerations
in both fields, as well as related topics.
This volume contains the proceedings of the Second International
Conference on Rewriting Techniques and Applications, "RTA 87," held
in Bordeaux, France, May 1987.
|
You may like...
Stolen Legacy
George J M James
Paperback
R419
Discovery Miles 4 190
Friedrich
Norbert Wolf
Hardcover
(1)
R485
R400
Discovery Miles 4 000
Turner & the Sea
Christine Riding, Richard Johns
Hardcover
(1)
R1,129
Discovery Miles 11 290
|