Don’t miss it: Get 40% off Education & Linguistics books! Save through November 30, 2018.

Lecture Notes in Computer Science

Theoretical Aspects of Computer Software

International Symposium TACS ’94 Sendai, Japan, April 19–22, 1994 Proceedings

Editors: Hagiya, Masami, Mitchell, John C. (Eds.)

Buy this book

eBook $74.99
price for USA in USD (gross)
  • ISBN 978-3-540-48383-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-57887-1
  • Free shipping for individuals worldwide
  • This title is currently reprinting. You can pre-order your copy now.
About this book

This volume contains the proceedings of the Second International Symposium on Theoretical Aspects of Computer Science, held at Tohoku University, Japan in April 1994. This top-level international symposium on theoretical computer science is devoted to theoretical aspects of programming, programming languages and system, and parallel and distributed computation. The papers in the volume are grouped into sessions on: lambda calculus and programming; automated deduction; functional programming; objects and assignments; concurrency; term rewriting and process equivalence; type theory and programming; algebra, categories and linear logic; and subtyping, intersection and union types. The volume also includes seven invited talks and two open lectures.

Table of contents (43 chapters)

  • Full Abstraction for PCF (extended abstract)

    Abramsky, Samson (et al.)

    Pages 1-15

  • Fully abstract semantics for concurrent λ-calculus

    Dezani-Ciancaglini, Mariangiola (et al.)

    Pages 16-35

  • An operational approach to combining classical set theory and functional programming languages

    Howe, Douglas J. (et al.)

    Pages 36-55

  • ML typing, explicit polymorphism and qualified types

    Jones, Mark P.

    Pages 56-75

  • Extensions to type systems can preserve operational equivalences

    Riecke, Jon G. (et al.)

    Pages 76-95

Buy this book

eBook $74.99
price for USA in USD (gross)
  • ISBN 978-3-540-48383-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-57887-1
  • Free shipping for individuals worldwide
  • This title is currently reprinting. You can pre-order your copy now.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Theoretical Aspects of Computer Software
Book Subtitle
International Symposium TACS ’94 Sendai, Japan, April 19–22, 1994 Proceedings
Editors
  • Masami Hagiya
  • John C. Mitchell
Series Title
Lecture Notes in Computer Science
Series Volume
789
Copyright
1994
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-48383-0
DOI
10.1007/3-540-57887-0
Softcover ISBN
978-3-540-57887-1
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XI, 892
Topics