This book constitutes the refereed proceedings of the 12th European Symposium on Programming, ESOP 2003, held in Warsaw, Poland, in April 2003.
The 25 revised full papers presented together with two invited papers were carefully reviewed and selected from 99 submissions. Among the topics addressed are programming paradigms and their integration, program semantics, calculi of computation, security, advanced type systems, program analysis, program transformation, and practical algorithms based on theoretical developments.
| ISBN: | 9783540008866 |
| Publication date: | 14th March 2003 |
| Author: | European Symposium on Programming, Pierpaolo Degano, ETAPS Conference |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 413 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Software Engineering Compilers and interpreters Mathematical theory of computation Computer programming / software engineering Databases |
This book constitutes the refereed proceedings of the 12th European Symposium on Programming, ESOP 2003, held in Warsaw, Poland, in April 2003. The 25 revised full papers presented together with two invited papers were carefully reviewed and selected from 99 submissions.
Programming Languages and Systems features in the following genres: Software Engineering, Compilers and interpreters, Mathematical theory of computation, Computer programming / software engineering, Databases
Paperback. Not Available.
Programming Languages and Systems was written by European Symposium on Programming, Pierpaolo Degano, ETAPS Conference and published by Springer an imprint of Springer Berlin Heidelberg
Programming Languages and Systems has 413 pages
Yes it is part of Lecture Notes in Computer Science series