|
Showing 1 - 2 of
2 matches in All Departments
|
Tools and Algorithms for the Construction and Analysis of Systems - 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings (Paperback, 2003 ed.)
Hubert Garavel, John Hatcliff
|
R3,266
Discovery Miles 32 660
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2003, held in Warsaw, Poland, in April 2003. The 43 revised full papers presented were carefully reviewed and selected from 160 submissions. The papers are organized in topical sections on bounded model checking and SAT-based methods, mu-calculus and temporal logics, verification of parameterized systems, abstractions and counterexamples, real-time and scheduling, security and cryptography, modules and compositional verification, symbolic state spaces and decision diagrams, performance and mobility, state space reductions, constraint solving and decision procedures, and testing and verification.
As the complexity of software increases, researchers and
practicioners continue to seek better techniques for engineering
the construction of evolution of software. Partial evaluation is an
attractive technology for modern software construction since it
provides automatic tools for software specialization and is based
on rigorous semantic foundations. This book is based on a school
held at DIKU Copenhagen, Denmark in summer 1998 during which
leading researchers summarized the state of the art in partial
evaluation. The lectures presented survey the foundations of
partial evaluation in a clear and rigorous manner and practically
introduce several existing partial evaluators with numerous
examples. The second part of the book is devoted to more
sophisticated theoretical aspects, advances systems and
applications, and highlights open problems and challenges. The book
is ideally suited for advanced courses and for self study.
|
|