Theoretical Computer Science and General Issues

Relational and Algebraic Methods in Computer Science

13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings

Editors: Kahl, Wolfram, Griffin, Timothy G. (Eds.)

  • Fast conference proceedings
  • State-of-the-art report
  • Up to date results
see more benefits

Buy this book

eBook $64.99
price for USA (gross)
  • ISBN 978-3-642-33314-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $83.00
price for USA
  • ISBN 978-3-642-33313-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 13, held in Cambridge, UK, in September 2012. The 23 revised full papers presented were carefully selected from 39 submissions in the general area of relational and algebraic methods in computer science, adding special focus on formal methods for software engineering, logics of programs and links with neighboring disciplines. The papers are structured in specific fields on applications to software specification and correctness, mechanized reasoning in relational algebras, algebraic program derivation, theoretical foundations, relations and algorithms, and properties of specialized relations.

Table of contents (24 chapters)

  • Transitive Separation Logic

    Dang, Han-Hing (et al.)

    Pages 1-16

  • Unifying Lazy and Strict Computations

    Guttmann, Walter

    Pages 17-32

  • Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming

    Höfner, Peter (et al.)

    Pages 33-49

  • Towards an Algebra for Real-Time Programs

    Dongol, Brijesh (et al.)

    Pages 50-65

  • Automated Reasoning in Higher-Order Regular Algebra

    Armstrong, Alasdair (et al.)

    Pages 66-81

Buy this book

eBook $64.99
price for USA (gross)
  • ISBN 978-3-642-33314-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $83.00
price for USA
  • ISBN 978-3-642-33313-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
Relational and Algebraic Methods in Computer Science
Book Subtitle
13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings
Editors
  • Wolfram Kahl
  • Timothy G. Griffin
Series Title
Theoretical Computer Science and General Issues
Series Volume
7560
Copyright
2012
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-33314-9
DOI
10.1007/978-3-642-33314-9
Softcover ISBN
978-3-642-33313-2
Edition Number
1
Number of Pages
XII, 361
Number of Illustrations and Tables
33 b/w illustrations
Topics