Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and ... (Lecture Notes in Computer Science, 1381) - Softcover

 
9783540643029: Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and ... (Lecture Notes in Computer Science, 1381)
Softcover
ISBN 10: 3540643028 ISBN 13: 9783540643029
Publisher: Springer, 1998

Synopsis

This book constitutes the refereed proceedings of the 7th European Symposium on Programming, ESOP'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Portugal, in March/April 1998.
This volume presents 17 revised full papers selected from a total of 59 submissions; also included is one invited paper. Among the issues addressed are software specification and verification, programming paradigms, semantics for formal development and implementation, program analysis, program transformation, etc.

"synopsis" may belong to another edition of this title.

Product Description

Programming Languages and Systems This volume presents 17 papers from a total of 59 submissions, and one invited paper. Among the issues addressed are software specification and verification, programming paradigms, semantics for formal development and implementation, program analysis and program transformation.

"About this title" may belong to another edition of this title.

Publisher
Springer
Publication date
1998
Language
English
ISBN 10 
3540643028
ISBN 13 
9783540643029
Binding
Paperback
Number of pages
300
Editor
Hankin Chris

Other Popular Editions of the Same Title

9783662184035: Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and ... ... March 28 - April 4, 1998, Proceedings

Featured Edition

ISBN 10:  3662184036 ISBN 13:  9783662184035
Publisher: Springer, 2014
Softcover