Lecture Notes in Computer Science

Formalization of Programming Concepts

International Colloquium, Peniscola, Spain, April 19-25, 1981. Proceedings

Editors: Diaz, J., Ramos, I. (Eds.)

Buy this book

eBook $99.00
price for USA in USD (gross)
  • ISBN 978-3-540-38654-4
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA in USD
  • ISBN 978-3-540-10699-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (30 chapters)

  • The algebra of functional programs: Function level reasoning, linear equations, and extended definitions

    Backus, John

    Pages 1-43

  • The VDM principles of software specification & program design

    Bjørner, Dines

    Pages 44-74

  • Attribute grammars : Theory and applications

    Courcelle, B.

    Pages 75-95

  • Compiler generation from formal definition of programming languages : A survey

    Gaudel, M. C.

    Pages 96-114

  • Formal behavioural specification of concurrent systems without globality assumptions

    Lauer, P. E. (et al.)

    Pages 115-151

Buy this book

eBook $99.00
price for USA in USD (gross)
  • ISBN 978-3-540-38654-4
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA in USD
  • ISBN 978-3-540-10699-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
Formalization of Programming Concepts
Book Subtitle
International Colloquium, Peniscola, Spain, April 19-25, 1981. Proceedings
Editors
  • J. Diaz
  • I. Ramos
Series Title
Lecture Notes in Computer Science
Series Volume
107
Copyright
1981
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-38654-4
DOI
10.1007/3-540-10699-5
Softcover ISBN
978-3-540-10699-9
Series ISSN
0302-9743
Edition Number
1
Number of Pages
X, 486
Topics