This book constitutes the proceedings of the Seventh International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP '95, held in Utrecht, The Netherlands, in September 1995.The book presents 26 refereed full papers selected from 84 submissions; they report research on declarative programming languages and provide insights in the relation between the logic of those languages, implementation techniques, and the use of these languages in constructing real programs. In addition there are abstracts or full presentations of three invited talks as well as eight posters and demonstrations.
Format: Paperback / softback
CONTRIBUTORS: Manuel Hermenegildo
EAN: 9783540603597
COUNTRY: Germany
PAGES:
WEIGHT: 1510 g
HEIGHT: 233 cm
PUBLISHED BY: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
DATE PUBLISHED: 1995-09-11
CITY:
GENRE: COMPUTERS / Data Science / General, COMPUTERS / Programming / General, COMPUTERS / Languages / General, MATHEMATICS / Logic
WIDTH: 155 cm
SPINE:
Book Themes:
Computer programming / software engineering, Compilers and interpreters, Mathematical theory of computation, Maths for computer scientists, Artificial intelligence
