Skip to main content
  • Conference proceedings
  • © 2011

Theoretical Aspects of Computing -- ICTAC 2011

8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings

  • Fast track conference proceedings

  • Unique visibility

  • State of art research

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

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

Buying options

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

  1. Front Matter

  2. The Use of Mathematics in Software Development

    • David Lorge Parnas
    Pages 4-5
  3. Infinitely Often Testing

    • Willem Visser
    Pages 6-6
  4. Axiomatizing Weak Ready Simulation Semantics over BCCSP

    • Luca Aceto, David de Frutos Escrig, Carlos Gregorio-Rodríguez, Anna Ingolfsdottir
    Pages 7-24
  5. Symbolic Worst Case Execution Times

    • Ernst Althaus, Sebastian Altmeyer, Rouven Naujoks
    Pages 25-44
  6. Selecting Good a Priori Sequences for Vehicle Routing Problem with Stochastic Demand

    • Ei Ando, Binay Bhattacharya, Yuzhuang Hu, Tsunehiko Kameda, Qiaosheng Shi
    Pages 45-61
  7. On the Complexity of Szilard Languages of Regulated Grammars

    • Liliana Cojocaru, Erkki Mäkinen
    Pages 77-94
  8. Energy Games in Multiweighted Automata

    • Uli Fahrenberg, Line Juhl, Kim G. Larsen, Jiří Srba
    Pages 95-115
  9. Intersection Types for the Resource Control Lambda Calculi

    • Silvia Ghilezan, Jelena Ivetić, Pierre Lescanne, Silvia Likavec
    Pages 116-134
  10. Modal Interface Theories for Communication-Safe Component Assemblies

    • Rolf Hennicker, Alexander Knapp
    Pages 135-153
  11. WP Semantics and Behavioral Subtyping

    • Yijing Liu, Zongyan Qiu, Quan Long
    Pages 154-172
  12. Computing Preconditions and Postconditions of While Loops

    • Olfa Mraihi, Wided Ghardallou, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaies, Ali Mili
    Pages 173-193
  13. A Framework for Instantiating Pedagogic mLearning Objects Applications

    • Paul Birevu Muyinda, Jude T. Lubega, Kathy Lynch, Theo van der Weide
    Pages 194-217
  14. Formal Verification of a Lock-Free Stack with Hazard Pointers

    • Bogdan Tofan, Gerhard Schellhorn, Wolfgang Reif
    Pages 239-255
  15. Ambiguity of Unary Symmetric Difference NFAs

    • Brink van der Merwe, Lynette van Zijl, Jaco Geldenhuys
    Pages 256-266
  16. Back Matter

Other Volumes

  1. Theoretical Aspects of Computing – ICTAC 2011

About this book

This book constitutes the refereed proceedings of the 8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011 held in Johannesburg, South Africa, in August/September 2011.
The 14 revised full papers presented together with the abstracts of three keynote talks were carefully reviewed and selected from 44 submissions. The papers address various theoretical aspects and methodological issues of computing and are organized in topical sections on grammars, semantics, modelling, the special track on formal aspects of software testing and grand challenge in verified software, on logics, as well as algorithms and types.

Keywords

  • automata theory
  • formal methods
  • grammar systems
  • programm semantics
  • programming calculi
  • systems modeling
  • verification
  • algorithm analysis and problem complexity

Editors and Affiliations

  • International Institute for Software Technology, The United Nations University, Macau, China

    Antonio Cerone

  • Data Abstraction (Pty) Ltd, Johannesburg, South Africa

    Pekka Pihlajasaari

Bibliographic Information

Buying options

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