Happy holidays from us to you—get up to $30 off your next print or eBook! Shop now >>

Lecture Notes in Computer Science

International Symposium on Programming

Proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980

Editors: Robinet, B. (Ed.)

Buy this book

eBook $74.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-39233-0
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-09981-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (23 chapters)

  • Static type checking for languages with parametric types and polymorphic procedures

    Barbuti, R. (et al.)

    Pages 1-16

  • Concrete control phases in languages for programming complex systems

    Barnden, J. A.

    Pages 17-29

  • Types algebriques et semantique des langages de programmation

    Bert, D.

    Pages 30-43

  • Towards a theory of abstract data types: A discussion on problems and tools

    Bertoni, A. (et al.)

    Pages 44-58

  • On relations between programs

    Broy, M. (et al.)

    Pages 59-78

Buy this book

eBook $74.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-39233-0
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-09981-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
International Symposium on Programming
Book Subtitle
Proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980
Editors
  • B. Robinet
Series Title
Lecture Notes in Computer Science
Series Volume
83
Copyright
1980
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-39233-0
DOI
10.1007/3-540-09981-6
Softcover ISBN
978-3-540-09981-9
Series ISSN
0302-9743
Edition Number
1
Number of Pages
X, 350
Topics