Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings (Lecture Notes in Computer Science, 5684, Band 5684) - Taschenbuch

EAN (ISBN-13): 9783642034657
ISBN (ISBN-10): 3642034659
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2009
Herausgeber: Springer Berlin Heidelberg
355 Seiten
Gewicht: 0,583 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2008-10-31T11:13:20+01:00 (Vienna)
Detailseite zuletzt geändert am 2024-04-08T08:45:08+02:00 (Vienna)
ISBN/EAN: 9783642034657

ISBN - alternative Schreibweisen:
3-642-03465-9, 978-3-642-03465-7
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: charles morgan, carroll, charles martin, springer, martin august
Titel des Buches: malaysia, general aspects, kuala lumpur international, colloquium, 2009, aspects the novel, august

---

Daten vom Verlag:

Autor/in: Martin Leucker; Charles Carroll Morgan
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Theoretical Aspects of Computing - ICTAC 2009 - 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings
Verlag: Springer; Springer Berlin
357 Seiten
Erscheinungsjahr: 2009-07-29
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XII, 357 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Computerprogrammierung und Softwareentwicklung; Verstehen; Informatik; Action; automata; automata theory; computer; computer science; formal language; formal languages; model checking; modeling; software architecture; testing; verification; algorithm analysis and problem complexity; Programming Techniques; Software Engineering; Theory of Computation; Algorithms; Software Engineering; Theoretische Informatik; Algorithmen und Datenstrukturen; EA

Invited Papers.- Static Analysis of Concurrent Programs Using Ordinary Differential Equations.- The PlusCal Algorithm Language.- The Secret Art of Computer Programming.- Verification, Testing and Statistics.- Full Research Papers.- ?-Types for Effects and Freshness Analysis.- A First-Order Policy Language for History-Based Transaction Monitoring.- Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete.- Transmission Protocols for Instruction Streams.- A Deadlock-Free Semantics for Shared Memory Concurrency.- On the Expressiveness of Forwarding in Higher-Order Communication.- On the Hairpin Completion of Regular Languages.- Context-Free Languages of Countable Words.- Automatic Conflict Detection on Contracts.- A Sound Observational Semantics for Modal Transition Systems.- Regular Expressions with Numerical Constraints and Automata with Counters.- On the Relative Expressive Power of Contextual Grammars with Maximal and Depth-First Derivations.- Integration Testing from Structured First-Order Specifications via Deduction Modulo.- A Minimized Assumption Generation Method for Component-Based Software Verification.- A Formal Approach to Heuristically Test Restorable Systems.- Constrained Reachability of Process Rewrite Systems.- Input-Output Model Programs.- Tool Papers.- IMITATOR: A Tool for Synthesizing Constraints on Timing Bounds of Timed Automata.- GSPeeDI – A Verification Tool for Generalized Polygonal Hybrid Systems.- Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and Understanding Nondeterministic Systems.