This book constitutes the refereed proceedings of the 18th European Symposium on Programming, ESOP 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 26 revised full papers presented together with two abstracts of invited talks were carefully reviewed and selected from 98 full paper submissions. The topics addressed are typed functional programming, computational effects, types for object-oriented languages, verification, security, concurrency, service-oriented computing, parallel and concurrent programming.
| ISBN: | 9783642005893 |
| Publication date: | 9th March 2009 |
| Author: | Giuseppe Castagna |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 411 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Compilers and interpreters Software Engineering Mathematical theory of computation Algorithms and data structures Computer programming / software engineering |
This book constitutes the refereed proceedings of the 18th European Symposium on Programming, ESOP 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 26 revised full papers presented together with two abstracts of invited talks were carefully reviewed and selected from 98 full paper submissions.
Programming Languages and Systems Theoretical Computer Science and General Issues features in the following genres: Compilers and interpreters, Software Engineering, Mathematical theory of computation, Algorithms and data structures, Computer programming / software engineering
Paperback. Not Available.
Programming Languages and Systems Theoretical Computer Science and General Issues was written by Giuseppe Castagna and published by Springer an imprint of Springer Berlin Heidelberg
Programming Languages and Systems Theoretical Computer Science and General Issues has 411 pages
Yes it is part of Lecture Notes in Computer Science series