2 options
Programming languages and systems : 12th European Symposium on Programming, ESOP 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings / Pierpaolo Degano (ed.)
LIBRA QA76.6 .E976 2003
Available from offsite location
LIBRA Q341 .P7 2004
Available from offsite location
- Format:
- Book
- Conference/Event
- Conference Name:
- European Symposium on Programming (12th : 2003 : Warsaw, Poland)
- ETAPS (Conference) (6th : 2003 : Warsaw, Poland)
- Series:
- Lecture notes in computer science 0302-9743 ; 2618.
- Lecture notes in computer science, 0302-9743 ; 2618
- Language:
- English
- Subjects (All):
- Computer programming--Congresses.
- Computer programming.
- Programming languages (Electronic computers)--Congresses.
- Programming languages (Electronic computers).
- Genre:
- Conference papers and proceedings.
- Physical Description:
- xv, 413 pages : illustrations ; 24 cm.
- Other Title:
- ESOP 2003
- Place of Publication:
- Berlin ; New York : Springer, 2003.
- Summary:
- 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.
- Notes:
- Includes bibliographical references and index.
- ISBN:
- 3540008861
- OCLC:
- 51861939
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.