|
Showing 1 - 2 of
2 matches in All Departments
The aim of the workshop was to discuss whether research on
implementation of programming languages and research on logic
programming can mutually benefit from each others results. The
intention was to bring together researchers from both fields,
especially those working in the area of their intersection.
Problems such as formal specification of compilers and syntax-based
editors, program analysis and program optimization have been
traditionally studied by implementors of algorithmic languages and
have resulted in a number of well-established notions, formalisms
and techniques. At the same time, an increasing number of people
use logic programming as a way of specifying compilers or other
programming environment tools, taking advantage of the relatively
high level of logic programming and the growing efficiency of
Prolog implementations. On the other hand, research on logic
programming raises the questions of analysis of logic programs and
their optimization. These are motivated primarily by compiler
construction for logic programs, by studies on the methodology of
logic programming and by the attempts to amalgamate logic
programming and functional programming. The purpose of the workshop
is to review the techniques developed in one (or both) of the
fields which could also be of some help in the other one and to
facilitate the transfer of expertise. It seems important to compare
notions used in both fields: showing similarities between them may
prevent rediscovering results already known, while studying
differences may contribute to the transfer of technology.
Attribute Grammars have turned into one of the most fundamental
formalisms of modern Computer Science. Since 1968 when Knuth
introduced the basic concepts, they have been the subject of a very
large amount of literature, proving the importance of the area and
the broad range of its applications. The aim of the book is to put
at the disposal of researchers and students, but also of engineers
interested in applications, the most important definitions and
results known to date in this youthful domain. This seemed best
achieved by a survey including three parts: 1) A state-of-the-art
review of the main results and of the most promising research
directions: this part aims at being both an aid for the reader in
understanding the bibliography, by presenting the results using a
unified vocabulary together with numerous pointers to the
literature, and also an incitement to go into further results and
research areas. 2) A presentation of most of the systems dealing
with Attribute Grammars: the main interest in this part lays in the
presentation of the implementation choices and of the applications.
This part is the "practical" side of the book, emphasizing the
point of view of "design" which can outline the differences between
a theoretical idea and the way it can be implemented. 3) A
bibliography including about 600 titles on the domain, together
with a thematic index enabling readers to find their way easily in
accordance with their own points of interest.
|
You may like...
It: Chapter 1
Bill Skarsgård
Blu-ray disc
R111
Discovery Miles 1 110
|