S.Doaitse Swierstra - Böcker
Visar alla böcker från författaren S.Doaitse Swierstra. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
Programming Languages: Implementations, Logics and Programs
7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings
Häftad, Engelska, 1995
552 kr
Skickas inom 10-15 vardagar
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.
Programming Languages: Implementations, Logics, and Programs
8th International Symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996. Proceedings
Häftad, Engelska, 1996
552 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the Eighth International Symposium on Programming Languages, Implementations, Logics, and Programs, PLILP '96, held in conjunction with ALP and SAS in Aachen, Germany, in September 1996.The 30 revised full papers presented in the volume were selected from a total of 97 submissions; also included are one invited contribution by Lambert Meerlens and five posters and demonstrations. The papers are organized in topical sections on typing and structuring systems, program analysis, program transformation, implementation issues, concurrent and parallel programming, tools and programming environments, lambda-calculus and rewriting, constraints, and deductive database languages.