Skip to main content
SpringerLink
Log in
Book cover

Theoretical Aspects of Computing

7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings

  • Conference proceedings
  • © 2010

Overview

Editors:
  1. Ana Cavalcanti

    1. Department of Computer Science, University of York, York, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. David Deharbe

    1. Departamento de Informática e Matemática Aplicaty, Universidade Federal do Rio Grande do Norte, Lagoa Nova, Natal-RN, Brazil

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Marie-Claude Gaudel

    1. Université de Paris-Sud, LRI, Orsay cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Jim Woodcock

    1. Department of Computer Science, University of York, York, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

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

Included in the following conference series:

Conference proceedings info: ICTAC 2010.

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 (26 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Papers and Abstract

    1. Invariants and Well-Foundedness in Program Algebra

      • Ian J. Hayes
      Pages 1-14

    2. A Theory of Software Product Line Refinement

      • Paulo Borba, Leopoldo Teixeira, Rohit Gheyi
      Pages 15-43

    3. The TLA +  Proof System: Building a Heterogeneous Verification Platform

      • Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
      Pages 44-44

  3. Grammars

    1. Subtyping Algorithm of Regular Tree Grammars with Disjoint Production Rules

      • Lei Chen, Haiming Chen
      Pages 45-59

    2. Minimal Tree Language Extensions: A Keystone of XML Type Compatibility and Evolution

      • Jacques Chabin, Mirian Halfeld-Ferrari, Martin A. Musicante, Pierre Réty
      Pages 60-75

    3. Tracking Down the Origins of Ambiguity in Context-Free Grammars

      • H. J. S. Basten
      Pages 76-90

  4. Semantics

    1. Prioritized slotted-Circus

      • Paweł Gancarski, Andrew Butterfield
      Pages 91-105

    2. A Denotational Semantical Model for Orc Language

      • Qin Li, Huibiao Zhu, Jifeng He
      Pages 106-120

    3. An Extended cCSP with Stable Failures Semantics

      • Zhenbang Chen, Zhiming Liu
      Pages 121-136

    4. Preference and Non-deterministic Choice

      • Bill Stoddart, Frank Zeyda, Steve Dunne
      Pages 137-152

  5. Modelling

    1. Material Flow Abstraction of Manufacturing Systems

      • Jewgenij Botaschanjan, Benjamin Hummel
      Pages 153-167

    2. Specification and Verification of a MPI Implementation for a MP-SoC

      • Umberto Souza da Costa, Ivan Soares de Medeiros Júnior, Marcel Vinicius Medeiros Oliveira
      Pages 168-183

  6. Special Track: Formal Aspects of Software Testing and Grand Challenge in Verified Software

    1. Testing of Abstract Components

      • Bilal Kanso, Marc Aiguier, Frédéric Boulanger, Assia Touil
      Pages 184-198

    2. Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform

      • Yunho Kim, Moonzoo Kim, Nam Dang
      Pages 199-213

    3. Analyzing a Formal Specification of Mondex Using Model Checking

      • Reng Zeng, Xudong He
      Pages 214-229

    4. Formal Modelling of Separation Kernel Components

      • Andrius Velykis, Leo Freitas
      Pages 230-244

    5. Mechanized Verification with Sharing

      • Gregory Malecha, Greg Morrisett
      Pages 245-259

    6. Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking

      • Ashish Darbari, Bernd Fischer, João Marques-Silva
      Pages 260-274

    7. Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements

      • Mariano M. Moscato, Carlos G. López Pombo, Marcelo F. Frias
      Pages 275-289
Back to top

Other volumes

  1. Theoretical Aspects of Computing – ICTAC 2010

Keywords

Editors and Affiliations

  • Department of Computer Science, University of York, York, United Kingdom

    Ana Cavalcanti, Jim Woodcock

  • Departamento de Informática e Matemática Aplicaty, Universidade Federal do Rio Grande do Norte, Lagoa Nova, Natal-RN, Brazil

    David Deharbe

  • Université de Paris-Sud, LRI, Orsay cedex, France

    Marie-Claude Gaudel

Bibliographic Information

  • Book Title: Theoretical Aspects of Computing

  • Book Subtitle: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings

  • Editors: Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-642-14808-8

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2010

  • Softcover ISBN: 978-3-642-14807-1Published: 11 August 2010

  • eBook ISBN: 978-3-642-14808-8Published: 21 August 2010

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XIII, 397

  • Number of Illustrations: 60 b/w illustrations

  • Topics: Theory of Computation, Computation by Abstract Devices

Publish with us

Policies and ethics

Back to top

Search

Navigation