"Mobile .NET" begins by examining a wide variety of different wireless Internet devices. These devices are divided into two main divisions: those that are directly supported by .NET (Pocket PCs, i-Mode phones, and WAP devices) and those that are not (Palm OS and J2ME-powered devices). By the end of this book, you'll be able to make .NET work equally well with all of the devices.

In the middle section of the book, the advantages of .NET as a development platform are first introduced. You'll produce a .NET web application capable of serving up stock quotes to virtually any wireless device as an exercise, building on it chapter by chapter. The section concludes with a demonstration of how you can invoke .NET Web services, the cornerstone of Microsoft's new "programmable Internet," from each of the wireless devices mentioned previously.

"Mobile .NET" concludes by drilling deep down into the technologies provided by .NET specifically for use with wireless devices. The Mobile Internet Toolkit, which can automatically adapt the output of a .NET web application based upon the special needs of differing client devices, is discussed first. Next, Microsoft's mobile data strategy and the main technologies underlying it, SQL Server (CE and desktop versions), XML, and ADO.NET, are discussed. Finally, in a special technology sneak preview, author Derek Ferguson unveils Microsoft'smobile .NET technology, which brings the power of .NET development directly to handheld devices: the .NET Compact Framework.

This book constitutes the refereed proceedings of the 10th International Conference on Compiler Construction, CC 2001, held in Genova, Italy in April 2001.The 22 revised full papers presented were carefully reviewed and selected from a total of 69 submissions. The papers are organized in topical sections on program analysis, program transformation, intraprocessor parallelism, parsing, memory hierarchy, profiling, and demos.

This volume contains the proceedings of the ACM SIGPLAN Workshop on L- guages, Compilers, and Tools for Embedded Systems (LCTES 2000), held June 18, 2000, in Vancouver, Canada. Embedded systems have developed consid- ably in the past decade and we expect this technology to become even more important in computer science and engineering in the new millennium. Interest in the workshop has been con rmed by the submission of papers from all over the world. There were 43 submissions representing more than 14 countries. Each submitted paper was reviewed by at least three members of the program committee. The expert opinions of many outside reviewers were in- luable in making the selections and ensuring the high quality of the program, for which, we express our sincere gratitude. The nal program features one invited talk, twelve presentations, and ve poster presentations, which re?ect recent - vances in formal systems, compilers, tools, and hardware for embedded systems. We owe a great deal of thanks to the authors, reviewers, and the members of the program committee for making the workshop a success. Special thanks to Jim Larus, the General Chair of PLDI 2000 and Julie Goetz of ACM for all their help and support. Thanks should also be given to Sung-Soo Lim at Seoul National University for his help in coordinating the paper submission and review process. We also thank Professor Gaetano Borriello of the University of Washington for his invited talk on Chinook, a hardware-software co-synthesis CAD tool for embedded systems.

ETAPS 2001 was the fourth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ten satellite workshops (CMCS, ETI Day, JOSES, LDTA, MMAABS, PFM, RelMiS, UNIGRA, WADT, WTUML), seven invited lectures, a debate, and ten tutorials. The events that comprise ETAPS address various aspects of the system de- lopment process, including speci cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.

These post-proceedings contain the revised versions of the papers presented at the \Symposium on Objects and Databases" which was held in Sophia-Antipolis, France, June 13, 2000, in conjunction with the Fourteenth European Conference on Object-Oriented Programming, ECOOP 2000. This event continued the t- dition established the year before in Lisbon (Portugal) with the First Workshop on Object-Oriented Databases. The goal of the symposium was to bring together researchers working in various corners of the eld of objects and databases, to discuss the current state of research in the eld and to critically evaluate existing solutions in terms of their current usage, their successes and limitations, and their potential for new applications. The organizing committee received 21 papers which were reviewed by a p- gram committee of people active in the eld of objects and databases. There were 3 reviews for each paper, and nally the organizing committee selected 9 long papers, 2 short papers, and a demonstration to be presented and discussed at the symposium. The selected papers cover a wide spectrum of topics, including data modeling concepts, persistent object languages, consistency and integrity of persistent data, storage structures, class versioning and schema evolution, query languages, and temporal object-oriented databases. In addition to the regular papers, the symposium included an invited p- sentation, given by Prof. Malcolm Atkinson from the University of Glasgow (Scotland) where he heads the Persistence and Distribution Group.

More and more traditional developers are moving into the world of web application development. Proper use of client-side scripts, style sheets, and XML are essential for building high-performance web applications that provide a rich user experience. "Doing Web Development: Client-Side Techniques" addresses the client-side issues that every web application developer needs to know.

This insightful guide is designed for professional software developers who are moving into Web development. It provides comprehensive coverage of all aspects of client-side Web development, including the understanding the basics of HTML, scripting with JavaScript, and using XML, schemas, and XSL. -->Deborah Kurata--> takes a task-based approach to these topics, providing developers with real-world techniques they can immediately apply in today's web applications.

The enormous popularity of the World Wide Web can be attributed in large part to the fact that it is a dynamic, highly interactive medium. As web accessibility through wireless devices becomes increasingly popular, developers are challenged to maintain the high level of interactivity and flexibility that users are accustomed to on their personal computer browsers. Fortunately, this task isn't as daunting as it seems, as the language tools used to create conventional web pages can also be implemented in the wireless arena.

"Wireless Web Development with PHP and WAP" is the result of author Ray Rischpater 's years of experience in both wireless development and PHP programming, and shows you how to make the most of both technologies to create scalable wireless applications. You'll also learn how to use MySQL with PHP to serve wireless content as you review examples drawn from real-world wireless applications. In addition to tackling the wireless Web's software development challenges, Rischpater examines equally important but often overlooked issues such as user interface design and optimizing wireless sites for presentation on today's screen phones.

This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001.The SPIN model checker is one of the most powerful and popular systems for the analysis and verification of distributed and concurrent systems.The 13 revised full papers presented together with one invited survey paper and three invited industrial experience reports were carefully reviewed and selected from 26 submissions. Besides foundational issues of program analysis and formal verification, the papers focus on tools for model checking and practical applications in a variety of fields.

Coordinating production across a supply chain, designing a new VLSI chip, allocating classrooms or scheduling maintenance crews at an airport are just a few examples of complex (combinatorial) problems that can be modeled as a set of decision variables whose values are subject to a set of constraints. The decision variables may be the time when production of a particular lot will start or the plane that a maintenance crew will be working on at a given time. Constraints may range from the number of students you can 't in a given classroom to the time it takes to transfer a lot from one plant to another.Despiteadvancesincomputingpower, manyformsoftheseandother combinatorial problems have continued to defy conventional programming approaches. Constraint Logic Programming (CLP) ?rst emerged in the mid-eighties as a programming technique with the potential of signi?cantly reducing the time it takes to develop practical solutions to many of these problems, by combining the expressiveness of languages such as Prolog with the compu- tional power of constrained search. While the roots of CLP can be traced to Monash University in Australia, it is without any doubt in Europe that this new software technology has gained the most prominence, bene?ting, among other things, from sustained funding from both industry and public R&D programs over the past dozen years. These investments have already paid o?, resulting in a number of popular commercial solutions as well as the creation of several successful European startups.

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Generative and Component-Based Software Engineering, GCSE'99, held in Erfurt, Germany, in September 1999.The 15 thoroughly revised full papers presented together with an invited paper have gone through two rounds of reviewing and improvement. The book offers topical sections on aspects, generative approaches, language composition, component-oriented language idioms, and domain analysis and component-based development.

The six Schools and Symposia on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT) have seen the eld develop from tentative explo- tions to a far higher degree of maturity, and from being under the scrutiny of a few interested software designers and academics to becoming a well-established area of inquiry. A number of new topics, such as hybrid systems, have been g- minated at these meetings and cross-links explored with related subjects such as scheduling theory. There has certainly been progress during these 12 years, but it is sobering to see how far and how fast practice has moved ahead in the same time, and how much more work remains to be done before the design of a mission-critical system can be based entirely on sound engineering principles underpinned by solid scienti c theory. The Sixth School and Symposium were organized by the Tata Research - velopment and Design Centre in Pune, India. The lectures at the School were given by Ian Hayes (U. of Queensland), Paritosh Pandya (Tata Institute of F- damental Research), Willem-Paul de Roever (Christian Albrechts U. ) and Joseph Sifakis (VERIMAG). There were three invited lectures at the Symposium, by Werner Damm (U. of Oldenburg), Nicholas Halbwachs (VERIMAG) and Yoram Moses (Technion). A sizable number of submissions were received for the Symposium from a- hors representing 16 di erent countries.

Parallel Virtual Machine (PVM) and Message Passing Interface (MPI) are the most frequently used tools for programming according to the message passing paradigm, which is considered one of the best ways to develop parallel applications. This volume comprises 42 revised contributions presented at the Seventh European PVM/MPI Users' Group Meeting, which was held in Balatonfr ed, Hungary, 10 13 September 2000. The conference was organized by the Laboratory of Parallel and Distributed Systems of the Computer and Automation Research Institute of the Hungarian Academy of Sciences. This conference was previously held in Barcelona, Spain (1999), Liverpool, UK (1998) and Cracow, Poland (1997). The first three conferences were devoted to PVM and were held at the Technische Universit t M nchen, Germany (1996), Ecole Normale Superieure Lyon, France (1995), and University of Rome, Italy (1994). This conference has become a forum for users and developers of PVM, MPI, and other message passing environments. Interaction between those groups has proved to be very useful for developing new ideas in parallel computing and for applying existing ideas to new practical fields. The main topics of the meeting were evaluation and performance of PVM and MPI, extensions and improvements to PVM and MPI, algorithms using the message passing paradigm, and applications in science and engineering based on message passing. The conference included four tutorials and five invited talks on advances in MPI, cluster computing, network computing, grid computing, and SGI parallel computers and programming systems.

A first attempt to develop a standardized agent communication language (ACL) resulted in KQML, probably the most widely used such language. However, a lot of technical work remains to be done. Even worse, so far, there seems to be little consensus on the basics of agent communication and there is no clear understanding of the semantics of individual speech acts or even of the basic concepts that should be used to define the semantics.This book documents two workshops on communication in MAS held in 1999, one on Specifying and Implementing Conversation Policies (SICP) and the other in Agent Communication Languages and presents the current state of the art of research in the field. A detailed introductory overview by the volume editors highlights a number of issues that play an important role in agent communication.

This volume contains the proceedings of the 11th International Conference on Concurrency Theory (CONCUR 2000) held in State College, Pennsylvania, USA, during 22-25 August 2000. The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their - plications, and of the scienti?c relevance of their foundations. The scope covers all areas of semantics, logics, and veri?cation techniques for concurrent systems. Topics include concurrency related aspects of: models of computation, semantic domains, process algebras, Petri nets, event structures, real-time systems, hybrid systems, decidability, model-checking, veri?cation techniques, re?nement te- niques, term and graph rewriting, distributed programming, logic constraint p- gramming, object-oriented programming, typing systems and algorithms, case studies, tools, and environments for programming and veri?cation. The ?rst two CONCUR conferences were held in Amsterdam (NL) in 1990 and 1991. The following ones in Stony Brook (USA), Hildesheim (D), Uppsala (S), Philadelphia (USA), Pisa (I), Warsaw (PL), Nice (F), and Eindhoven (NL). The proceedings have appeared in Springer LNCS, as Volumes 458, 527, 630, 715, 836, 962, 1119, 1243, 1466, and 1664.

This book constitutes the refereed proceedings of the Third International Conference on the Unified Modeling Language, 2000, held in York, UK in October 2000. The 36 revised full papers presented together with two invited papers and three panel outlines were carefully reviewed and selected from 102 abstracts and 82 papers submitted. The book offers topical sections on use cases, enterprise applications, applications, roles, OCL tools, meta-modeling, behavioral modeling, methodology, actions and constraints, patterns, architecture, and state charts.

In August 1999, the Twelfth Workshop on Languages and Compilers for P- allel Computing (LCPC) was hosted by the Hierarchical Tiling Research group from the Computer Science and Engineering Department at the University of California San Diego (UCSD). The workshop is an annual international forum for leading research groups to present their current research activities and the latest results. It has also been a place for researchers and practitioners to - teract closely and exchange ideas about future directions. Among the topics of interest to the workshop are language features, code generation, debugging, - timization, communication and distributed shared memory libraries, distributed object systems, resource management systems, integration of compiler and r- time systems, irregular and dynamic applications, and performance evaluation. In 1999, the workshop was held at the International Relations/Paci c Studies Auditorium and the San Diego Supercomputer Center at UCSD. Seventy-seven researchers from Australia, England, France, Germany, Korea, Spain, and the United States attended the workshop, an increase of over 50% from 1998.

As computer science enters the new millennium, methods and languages for reasoning with constraints have come to play an important role, with both t- oretical advances and practical applications. Constraints have emerged as the basis of a representational and computational paradigm that draws from many disciplinesandcanbebroughttobearonmanyproblemdomains, includingar- ?cial intelligence, databases, and combinatorial optimization. The conference is concerned with all aspects of computing with constraints including algorithms, applications, environments, languages, models and systems. The Sixth InternationalConference on Principles and Practiceof Constraint Programming (CP2000) continues to provide an international forum for p- senting and discussing state-of-the-art research and applications involving c- straints.Afterafewannualworkshops, CP'95tookplaceinCassis, France;CP'96 in Cambridge, USA; CP'97 in Schloss Hagenberg, Austria; CP'98 in Pisa, Italy and CP'99 in Alexandria, USA. This year the conference is held in Singapore, from 18 through 21 September 2000. This volume comprises the papers that were accepted for presentation at CP2000.From the 101 papersthat were submitted, 31 papers wereaccepted for presentation in the plenary session and 13 papers were selected as posters and have a short version (?ve pages) in this volume. All papers were subjected to rigorous review three program committee members (or their designated revi- ers) refereed each paper. Decisions were reached following discussions among reviewers and, in some instances, by e-mail consultation of the entire program committee.Ibelievethereaderwill?ndthesearticlestobeofthehighestquality, representing a signi?cant contribution to the ?eld.

This book constitutes the refereed proceedings of the International Workshop on Semantics Applications, and Implementation of Program Generation, SAIG 2000, held in Montreal, Canada in September 2000. The seven revised full papers and four position papers presented together with four invited abstracts were carefully reviewed and selected from 20 submissions. Among the topics addressed are multi-stage programming languages, compilation of domain-specific languages and module systems, program transformation, low-level program generation, formal specification, termination analysis, and type-based analysis.

This book constitutes the refereed proceedings of the 5th International Symposium on Functional and Logic Programming, FLOPS 2001, held in Tokyo, Japan in March 2001.The 21 revised full papers presented together with three invited papers were carefully reviewed and selected from 40 submissions. The book offers topical sections on functional programming, logic programming, functional logic programming, types, program analysis and transformation, and Lambda calculus.

This volume comprises the papers presented at the Third International Andrei Ershov Memorial Conference \Perspectives of System Informatics", Akadem- rodok (Novosibirsk, Russia), July 6{9, 1999. The main goal of the conference was to give an overview of research directions which are decisive for the growth of major areas of research activities in system informatics. The conference was the third one in the line. The r st and second inter- tionalconferences\PerspectivesofSystemInformatics"wereheldinNovosibirsk, Akademgorodok, in May, 1991, and June, 1996, respectively. Both conferences gathered a wide spectrum of specialists and were undoubtedly very successful. The third conferenceincluded many of the subjects of the second conference, such as theoretical computer science, programming methodology, new infor- tiontechnologies,andthepromising eldofarti cialintelligence|asimportant components of system informatics. The style of the second conference was p- served to a certain extent in that there were a considerable number of invited papers in addition to the contributed papers. However,posters were replaced by short talks mainly given by young researchers.

Thecircleisclosed.The European Modula-2 Conference was originally launched with the goal of increasing the popularity of Modula-2, a programming language created by Niklaus Wirth and his team at ETH Zuric ] h as a successor of Pascal. For more than a decade, the conference has wandered through Europe, passing Bled, Slovenia, in1987, Loughborough, UK, in1990, Ulm, Germany, in1994, and Linz, Austria, in 1997. Now, at the beginning of the new millennium, it is back at its roots in Zuric ] h, Switzerland. While traveling through space and time, the conference has mutated. It has widened its scope and changed its name to Joint Modular Languages Conference (JMLC). With an invariant focus, though, on modularsoftwareconstructioninteaching, research, and"outthere"inindustry. This topic has never been more important than today, ironically not because of insu?cient language support but, quite on the contrary, due to a truly c- fusing variety of modular concepts o?ered by modern languages: modules, pa- ages, classes, and components, the newest and still controversial trend. "The recent notion of component is still very vaguely de?ned, so vaguely, in fact, that it almost seems advisable to ignore it." (Wirth in his article "Records, Modules, Objects, Classes, Components" in honor of Hoare's retirement in 1999). Clar- cation is needed."

The SPIN workshop is a forum for researchers interested in the subject of automata-based, explicit-state model checking technologies for the analysis and veri?cation of asynchronous concurrent and distributed systems. The SPIN - del checker (http: //netlib.bell-labs.com/netlib/spin/whatispin.html), developed by Gerard Holzmann, is one of the best known systems of this kind, and has attracted a large user community. This can likely be attributed to its e?cient state exploration algorithms. The fact that SPIN's modeling language, Promela, resembles a programming language has probably also contributed to its success. Traditionally, the SPIN workshops present papers on extensions and uses of SPIN. As an experiment, this year's workshop was broadened to have a slightly wider focus than previous workshops in that papers on software veri?cation were encouraged. Consequently, a small collection of papers describe attempts to analyze and verify programs written in conventional programming languages. Solutions include translations from source code to Promela, as well as specially designed model checkers that accept source code. We believe that this is an - teresting research direction for the formal methods community, and that it will result in a new set of challenges and solutions. Of course, abstraction becomes the key solution to deal with very large state spaces. However, we also see - tential for integrating model checking with techniques such as static program analysis and testing. Papers on these issues have therefore been included in the proceedings.

The algebraic approach to system speci?cation and development, born in the 1970sas a formalmethod for abstractdata types, encompassestoday the formal design of integrated hardware and software systems, new speci?cation fra- works and programming paradigms (such as object-oriented, logic, and high- order functional programming) and a wide range of application areas (including information systems, concurrent and distributed systems). Workshops on Al- braicDevelopmentTechniques,initiatedin1982asWorkshopsonAbstractData Types, have become a prominent forum to present and discuss research on this important area. The 14th International Workshop on Algebraic Development Techniques (WADT'99) took place at the Chat eau de Bonas, near Toulouse, September 15-18,1999,and was organized by Didier Bert and Christine Choppy. The main topics of the workshop were: - algebraic speci?cation - other approaches to formal speci?cation - speci?cation languages and methods - term rewriting and proof systems - speci?cation development systems (concepts, tools, etc.). The program consisted of invited talks by Michel Bidoit, Manfred Broy, Bart Jacobs, Natarajan Shankar, and 69 presentations describing ongoing - search. The parallel sessions were devoted to: algebraic speci?cations and other speci?cation formalisms, test and validation, concurrent processes, - plications, logics and validation, combining formalisms, subsorts and parti- ity, structuring, rewriting, coalgebras and sketches, re?nement, institutions and categories, ASM speci?cations. There were also sessions re?ecting - going research achieved in the Common Framework Initiative (CoFI, see http://www.brics.dk/Projects/CoFI/), within its di?erent task groups: CASL (Common Algebraic Speci?cation Language), CASL semantics, CASL tools, methodology, and reactive systems.

This book is a collection of articles about the influence that the recent greater scope and availability of wide area networks is having on the semantics, design, and implementa tion of programming languages. The Internet has long provided a global computing in frastructure but, for most of its history, there has not been much interest in programming languages tailored specifically to that infrastructure. More recently, the Web has pro duced a widespread interest in global resources and, as a consequence, in global pro grammability. It is now commonplace to discuss how programs can be made to run effectively and securely over the Internet. The Internet has already revolutionized the distribution and access of information, and is in the process of transforming commerce and other areas of fundamental importance. In the field of programming languages, the Internet is having a deep revitalizing effect, by challenging many fundamental assumptions and requiring the development of new concepts, programming constructs, implementation techniques, and applications. This book is a snapshot of current research in this active area. The articles in this book were presented at the Workshop on Internet Programming Lan guages, which was held on May 13, 1998 at Loyola University, Chicago, USA. The pa pers submitted to the workshop were screened by the editors. After the workshop, the presented papers were refereed by an external reviewer and one of the editors, resulting in the current selection.

This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on the Implementation of Functional Languages, IFL'99, held in Lochem, The Netherlands, in September 1999.
The 11 revised full papers presented were carefully selected during two rounds of reviewing. The papers are organized in sections on applications, compilation techniques, language concepts, and parallelism.