Skip to main content
SpringerLink
Log in

Relational and Algebraic Methods in Computer Science

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

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Wolfram Kahl

    1. Department of Computing and Software, McMaster University, Hamilton, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Timothy G. Griffin

    1. Computer Laboratory, University of Cambridge, Cambridge, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7560)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: RAMICS 2012.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (24 papers)

  1. Front Matter

    Download chapter PDF

  2. Applications to Software Specification and Correctness

    1. Transitive Separation Logic

      • Han-Hing Dang, Bernhard Möller
      Pages 1-16

    2. Unifying Lazy and Strict Computations

      • Walter Guttmann
      Pages 17-32

    3. Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming

      • Peter Höfner, Bernhard Möller, Andreas Zelend
      Pages 33-49

    4. Towards an Algebra for Real-Time Programs

      • Brijesh Dongol, Ian J. Hayes, Larissa Meinicke, Kim Solin
      Pages 50-65

  3. Mechanised Resoning in Relational Algebras

    1. Automated Reasoning in Higher-Order Regular Algebra

      • Alasdair Armstrong, Georg Struth
      Pages 66-81

    2. Towards Certifiable Implementation of Graph Transformation via Relation Categories

      • Wolfram Kahl
      Pages 82-97

    3. Deciding Regular Expressions (In-)Equivalence in Coq

      • Nelma Moreira, David Pereira, Simão Melo de Sousa
      Pages 98-113

  5. Theoretical Foundations

    1. Left-Handed Completeness

      • Dexter Kozen, Alexandra Silva
      Pages 162-178

    2. On Completeness of Omega-Regular Algebras

      • Michael R. Laurence, Georg Struth
      Pages 179-194

    3. Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings

      • Peter Jipsen
      Pages 195-206

    4. Relational Representation Theorem for Powerset Quantales

      • Koki Nishizawa, Hitoshi Furusawa
      Pages 207-218

    5. Point Axioms in Dedekind Categories

      • Hitoshi Furusawa, Yasuo Kawahara
      Pages 219-234

  6. Relations and Algorithms

    1. Two Observations in Dioid Based Model Refinement

      • Roland Glück
      Pages 235-247

    2. Relation Algebras, Matrices, and Multi-valued Decision Diagrams

      • Francis Atampore, Michael Winter
      Pages 248-263

    3. Incremental Pseudo Rectangular Organization of Information Relative to a Domain

      • Sahar Ismail, Ali Jaoua
      Pages 264-277

  7. Preference Relations

    1. Relational Concepts in Social Choice

      • Gunther Schmidt
      Pages 278-293
Back to top

Other volumes

  1. Relational and Algebraic Methods in Computer Science

Keywords

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.

Editors and Affiliations

  • Department of Computing and Software, McMaster University, Hamilton, Canada

    Wolfram Kahl

  • Computer Laboratory, University of Cambridge, Cambridge, UK

    Timothy G. Griffin

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation