Programming Languages: Implementations, Logics and Programs
7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings
Mitarbeit:Hermenegildo, Manuel; Swierstra, S. D.
Programming Languages: Implementations, Logics and Programs
7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings
Mitarbeit:Hermenegildo, Manuel; Swierstra, S. D.
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
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.…mehr
- GlaserProgramming Languages: Implementations, Logics, and Programs39,99 €
- KuchenProgramming Languages: Implementations, Logics, and Programs39,99 €
- HeeringHigher-Order Algebra, Logic, and Term Rewriting39,99 €
- Enrico Pontelli / Santos C. Vitor (eds.)Practical Aspects of Declarative Languages39,99 €
- Advanced Functional Programming39,99 €
- Functional and Constraint Logic Programming37,99 €
- Zhenjiang Hu / Mario Rodriquez-Artalejo (eds.)Functional and Logic Programming39,99 €
-
-
-
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.
- Produktdetails
- Lecture Notes in Computer Science 982
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-60359-7
- 1995.
- Seitenzahl: 488
- Erscheinungstermin: 11. September 1995
- Englisch
- Abmessung: 235mm x 155mm x 27mm
- Gewicht: 637g
- ISBN-13: 9783540603597
- ISBN-10: 354060359X
- Artikelnr.: 09232573
- Lecture Notes in Computer Science 982
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-60359-7
- 1995.
- Seitenzahl: 488
- Erscheinungstermin: 11. September 1995
- Englisch
- Abmessung: 235mm x 155mm x 27mm
- Gewicht: 637g
- ISBN-13: 9783540603597
- ISBN-10: 354060359X
- Artikelnr.: 09232573