Skip to main content
  • Conference proceedings
  • © 2005

Theoretical Aspects of Computing - ICTAC 2005

Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings

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

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

Buying options

eBook USD 84.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.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 (40 papers)

  1. Front Matter

  2. Invited Speakers

    1. A Rewriting Logic Sampler

      • José Meseguer
      Pages 1-28
    2. Codes and Length-Increasing Transitive Binary Relations

      • Do Long Van, Kieu Van Hung, Phan Trung Huy
      Pages 29-48
    3. Component-Based Software Engineering

      • He Jifeng, Xiaoshan Li, Zhiming Liu
      Pages 70-95
  3. Formal Languages

    1. Solving First Order Formulae of Pseudo-Regular Theory

      • Sébastien Limet, Pierre Pillot
      Pages 110-124
    2. Splicing Array Grammar Systems

      • K. G. Subramanian, A. Roslin Sagaya Mary, K. S. Dersanambika
      Pages 125-135
  4. Computer Science Logics

    1. Compositionality of Fixpoint Logic with Chop

      • Naijun Zhan, Jinzhao Wu
      Pages 136-150
    2. Upside-Down Transformation in SOL/Connection Tableaux and Its Application

      • Koji Iwanuma, Katsumi Inoue, Hidetomo Nabeshima
      Pages 166-179
  5. Program Construction

    1. Generating C Code from LOGS Specifications

      • Jianguo Zhou, Yifeng Chen
      Pages 195-210
    2. Formalizing the Debugging Process in Haskell

      • Alberto de la Encina, Luis Llana, Fernando Rubio
      Pages 211-226
  6. Real-Time Systems

    1. The Timer Cascade: Functional Modelling and Real Time Calculi

      • Raymond Boute, Andreas Schäfer
      Pages 242-256
    2. A Robust Interpretation of Duration Calculus

      • Martin Fränzle, Michael R. Hansen
      Pages 257-271
    3. Symbolic Model Checking of Finite Precision Timed Automata

      • Rongjie Yan, Guangyuan Li, Zhisong Tang
      Pages 272-287
  7. Concurrency and Refinement

    1. Covarieties of Coalgebras: Comonads and Coequations

      • Ranald Clouston, Robert Goldblatt
      Pages 288-302

Other Volumes

  1. Theoretical Aspects of Computing – ICTAC 2005

About this book

This volume contains the proceedings of ICTAC 2005, the second ICTAC, International Colloquium on Theoretical Aspects of Computing. ICTAC 2005 took place in Hanoi, Vietnam, October 17–21, 2005. ICTAC was founded by the International Institute for Software Technology of the United Nations University (UNU-IIST) to serve as a forum for practiti- ers, lecturers and researchers from academia, industry and government who are interested in theoretical aspects of computing and rigorous approaches to so- ware engineering. The colloquium is aimed particularly, but not exclusively, at participants from developing countries. We believe that this will help developing countries to strengthen their research, teaching and development in computer science and engineering, improve the links between developing countries and developed countries, and establish collaboration in research and education. By providingavenueforthediscussionofcommonproblemsandtheirsolutions,and for the exchangeof experiencesand ideas,this colloquiumsupportsresearchand development in computer science and software technology. ICTAC is attracting more and more attention from more and more countries.

Keywords

  • Algorithms
  • algorithm
  • computer
  • computer science
  • formal language
  • formal languages
  • real-time

Editors and Affiliations

  • College of Technology, Vietnam National University, Hanoi, Vietnam

    Dang Hung

  • Institute of Computer Science, LMU Munich, Munich, Germany

    Martin Wirsing

Bibliographic Information

Buying options

eBook USD 84.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.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