Lecture Notes in Computer Science

Automata, Languages and Programming

Ninth Colloquium Aarhus, Denmark, July 12–16, 1982

Editors: Nielsen, M., Schmidt, E. M. (Eds.)

Free Preview

Buy this book

eBook $74.99
price for USA in USD (gross)
  • ISBN 978-3-540-39308-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • 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-11576-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (49 chapters)

Table of contents (49 chapters)
  • Locality in modular systems

    Back, R. J. R. (et al.)

    Pages 1-13

  • On-the-fly garbage collection: New algorithms inspired by program proofs

    Ben-Ari, Mordechai

    Pages 14-22

  • Algebraic specifications for parametrized data types with minimal parameter and target algebras

    Bergstra, J. A. (et al.)

    Pages 23-34

  • A modification of the λ-calculus as a base for functional programming languages

    Berkling, K. J. (et al.)

    Pages 35-47

  • On the power of nondeterminism in dynamic logic

    Berman, Piotr (et al.)

    Pages 48-60

Buy this book

eBook $74.99
price for USA in USD (gross)
  • ISBN 978-3-540-39308-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • 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-11576-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Automata, Languages and Programming
Book Subtitle
Ninth Colloquium Aarhus, Denmark, July 12–16, 1982
Editors
  • M. Nielsen
  • E. M. Schmidt
Series Title
Lecture Notes in Computer Science
Series Volume
140
Copyright
1982
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-39308-5
DOI
10.1007/BFb0012751
Softcover ISBN
978-3-540-11576-2
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VII, 615
Topics