CYBER DEAL: 50% off all Springer eBooks | Get this offer!

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.)

Free Preview

Buy this book

eBook 67,40 €
price for Spain (gross)
  • The eBook version of this title will be available soon
  • 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 83,19 €
price for Spain (gross)
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)

Table of contents (43 chapters)
  • Full Abstraction for PCF (extended abstract)

    Pages 1-15

    Abramsky, Samson (et al.)

  • Fully abstract semantics for concurrent λ-calculus

    Pages 16-35

    Dezani-Ciancaglini, Mariangiola (et al.)

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

    Pages 36-55

    Howe, Douglas J. (et al.)

  • ML typing, explicit polymorphism and qualified types

    Pages 56-75

    Jones, Mark P.

  • Extensions to type systems can preserve operational equivalences

    Pages 76-95

    Riecke, Jon G. (et al.)

Buy this book

eBook 67,40 €
price for Spain (gross)
  • The eBook version of this title will be available soon
  • 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 83,19 €
price for Spain (gross)
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