Skip to main content
  • Conference proceedings
  • © 2010

Theoretical Aspects of Computing

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

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

Conference series link(s): ICTAC: International Colloquium on Theoretical Aspects of Computing

Conference proceedings info: ICTAC 2010.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (26 papers)

  1. Front Matter

  2. Invited Papers and Abstract

    1. A Theory of Software Product Line Refinement

      • Paulo Borba, Leopoldo Teixeira, Rohit Gheyi
      Pages 15-43
    2. The TLA +  Proof System: Building a Heterogeneous Verification Platform

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

    1. 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
  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. Formal Modelling of Separation Kernel Components

      • Andrius Velykis, Leo Freitas
      Pages 230-244
    3. Mechanized Verification with Sharing

      • Gregory Malecha, Greg Morrisett
      Pages 245-259
    4. Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking

      • Ashish Darbari, Bernd Fischer, João Marques-Silva
      Pages 260-274
    5. 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

Other Volumes

  1. Theoretical Aspects of Computing – ICTAC 2010

Keywords

  • CSP
  • LA
  • XML
  • algorithms
  • ants
  • arithmetic operations
  • category theory
  • coalgebra
  • component based system
  • concurrency
  • fault tolerance
  • formal desc
  • high level petri nets
  • logic
  • testing

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

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions