Compilers and interpreters

Testing often accounts for more than 50% of the required e?

ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software.

The UML 2004 conference was held in Lisbon (Portugal) from October 11 through October 15, 2004.

On behalf of the Organizing Committee I am pleased to present the proceedings of the 2005 Symposium on Component-Based Software Engineering (CBSE).

The 16th International Workshop on Implementation and Application of Fu- tional Languages (IFL 2004) was held in Lub * eck, Germany, September 8-10, 2004.

This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19- 21, 2005, at the Nara-Ken New Public Hall in the center of the Nara National Park in Nara, Japan.

Nowadays, developers have to face the proliferation of hardware and software environments, the increasing demands of the users, the growing number of p- grams and the sharing of information, competences and services thanks to the generalization ofdatabasesandcommunication networks.

The 15th Workshop on Languages and Compilers for Parallel Computing was held in July 2002 at the University of Maryland, College Park.

Started on the inspired initiative of Prof.

ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software.

The Automated Technology for Veri?

As Chairmen of HiPEAC 2005, we have the pleasure of welcoming you to the proceedings of the ?

RuleML 2005 was the ?

This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, during July 18-22, 2005.

Extreme Programming has come a long way since its ?

This volume contains the papers presented at the Eighth International S- posium on Practical Aspects of Declarative Languages (PADL 2006) held on January 9-10, 2006, in Charleston, South Carolina.

The 19th Annual Meeting of the European Conference on Object-Oriented Programming-ECOOP 2005-took place during the last week of July in Glasgow, Scotland, UK.

Component-based software development is the next step after object-oriented programmingthatpromisesto reducecomplexityandimprovereusability.

The origin of this book goes back to the Dagstuhl seminar on Logic for System Engineering, organized during the first week of March 1997 by S.

Originally published in 1981, this was the first textbook on programming in the Prolog language and is still the definitive introductory text on Prolog.

MODULA-2 is a new programming language which was created by Niklaus Wirth of the Swiss Federal Institute of Technology (ETH) in Zurich.

This book is for people who have done some programming, either in Prolog or in a language other than Prolog, and who can find their way around a reference manual.

This book constitutes the refereed proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2011, held in Edinburgh, UK, on June 20-24, 2011.

This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002.

Upgrade your distributed applications with microservices.

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time.

This book contains a collection of thoroughly refereed papers presented at the 6th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2011, held in Beijing, China, in June 2011.

This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008.

This book constitutes the refereed proceedings of the 9th International Conference on Rewriting Techniques and Applications, RTA-98, held in Tsukuba, Japan, in March/April 1998.

This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2009, held in Los Angeles, CA, USA in August 2009 - co-located with LICS 2009, the 24th IEEE Symposium on Logic in Computer Science.

The pioneering organizers of the ?