Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

On behalf of the organizing committee I would like to welcome you all to the second Asian Symposium on Programming Languages and Systems (APLAS 2004) held in Taipei on November 4–6, 2004. Since the year 2000, researchers in the area of programming languages and systems have been meeting annually in Asia to present their most recent research results, thus contributing to the advancementofthisresearcharea.ThelastfourmeetingswereheldinSingapore (2000), Daejeon (2001), Shanghai (2002), and Beijing (2003). These meetings were very fruitful and provided an excellent venue for the exchange of research ideas, ?ndings and experiences in programming languages and systems. APLAS 2004 is the ?fth such meeting and the second one in symposium setting. The ?rst symposium was held in Beijing last year. The success of the APLAS series is the collective result of many people’s contributions.ForAPLAS2004,?rstIwouldliketothankallthemembersofthe Program Committee, in particular the Program Chair Wei-Ngan Chin, for their hardworkinputtingtogetheranexcellentprogram.Iammostgratefultoinvited speakers, Joxan Ja?ar, Frank Pfenning, and Martin Odersky, who have traveled a long way to deliver their speeches at APLAS 2004. I would like to thank all the referees, who helped review the manuscripts, the authors, who contributed to the proceedings of APLAS 2004, the members of the Organizing Committee, who made considerable e?ort to organize this event, and all the participants present at this meeting. Without your support this symposium would not have been possible. Finally I would like to acknowledge the support of the Asian Association for Foundation of Software and Academia Sinica, Taiwan.

Programming languages (Electronic computers) --- Congresses --- Computer Science --- Engineering & Applied Sciences --- Computer programming --- Computer science. --- Computer programming. --- Software engineering. --- Programming languages (Electronic computers). --- Operating systems (Computers). --- Computer logic. --- Mathematical logic. --- Computer Science. --- Programming Languages, Compilers, Interpreters. --- Software Engineering. --- Logics and Meanings of Programs. --- Operating Systems. --- Programming Techniques. --- Mathematical Logic and Formal Languages. --- Logic design. --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer software engineering --- Engineering --- Informatics --- Science --- Operating systems --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Programming --- Programming languages (Electronic computers) - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Control (HSCC 2004) held in Philadelphia, USA, from March 25 to 27, 2004. The annual workshop on hybrid systems attracts researchers from academia and industry interested in modeling, analysis, and implemen- tion of dynamic and reactive systems involving both discrete and continuous behaviors. The previous workshops in the HSCC series were held in Berkeley, USA(1998),Nijmegen,TheNetherlands(1999),Pittsburgh,USA(2000),Rome, Italy (2001), Palo Alto, USA (2002), and Prague, Czech Republic (2003). This year’s HSCC was organized in cooperation with ACM SIGBED (Special Interest Group on Embedded Systems) and was technically co-sponsored by the IEEE Control Systems Society. The program consisted of 4 invited talks and 43 regular papers selected from 117 regular submissions. The program covered topics such as tools for analysis and veri?cation, control and optimization, modeling, and engineering applica- ons, as in past years, and emerging directions in programming language support and implementation. The program also contained one special session focusing on the interplay between biomolecular networks, systems biology, formal methods, andthecontrolofhybridsystems.

Hybrid computers --- Digital control systems --- Calculateurs hybrides --- Congresses. --- Congrès --- EPUB-LIV-FT SPRINGER-B --- Computer system performance. --- System Performance and Evaluation. --- Simulation and Modeling. --- Control, Robotics, Mechatronics. --- Computer science. --- Special purpose computers. --- Computer system failures. --- Software engineering. --- Computers. --- Computer logic. --- Computer simulation. --- Computer Science. --- Theory of Computation. --- Special Purpose and Application-Based Systems. --- Software Engineering. --- Logics and Meanings of Programs. --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Computer science logic --- Logic, Symbolic and mathematical --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computer software engineering --- Engineering --- Computer failures --- Computer malfunctions --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Special purpose computers --- Computers --- Informatics --- Science --- Failures --- Automatic control --- Electronic digital computers --- Information theory. --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Communication theory --- Communication --- Hybrid computers - Congresses --- Digital control systems - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The 7th International Conference on Principles of Distributed Systems (OPODIS2003) was held during December 10–13, 2003 at La Martinique,French West Indies, and was co-organized by the Universit´ edes Antille set del a Guyane, La Martinique, French West Indies and by Chalmers University of Technology, Sweden. It continued a tradition of successful conferences with friendly and pleasant atmospheres. The earlier organizations of OPODIS were held in Luzarches (1997), Amiens (1998), Hanoi (1999), Paris (2000), Mexico (2001) and Reims (2002). OPODIS is an open forum for the exchange of state-of-the-art knowledge on distributed computing and systems among researchers from around the world. Following the tradition of the previous organizations, its program is composed of high-quality contributed and invited papers by experts of international caliber in this scientific area. The topics of interest are theory, specifications, design and implementation of distributed systems, including distributed and multiprocessor algorithms; communication and synchronization protocols; coordination and consistency protocols; stabilization, reliability and fault-tolerance of distributed systems; performance analysis of distributed algorithms and systems; specification and verification of distributed systems; security issues in distributed computing and systems; and applications of distributed computing, such as embedded distributed systems, real-time distributed systems, distributed collaborative environments, peer-to-peer systems, cluster and grid computing.

Electronic data processing --- Distributed operating systems (Computers) --- Distributed processing --- Congresses --- Traitement réparti --- Congrès --- EPUB-LIV-FT SPRINGER-B --- Computer science. --- Computer communication systems. --- Special purpose computers. --- Computer programming. --- Software engineering. --- Operating systems (Computers). --- Computers. --- Computer Science. --- Theory of Computation. --- Computer Communication Networks. --- Software Engineering. --- Programming Techniques. --- Operating Systems. --- Special Purpose and Application-Based Systems. --- Operating systems (Computers) --- Information theory. --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Informatics --- Science --- Computer software engineering --- Engineering --- Communication theory --- Communication --- Cybernetics --- Operating systems --- Special purpose computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Machine theory --- Calculators --- Cyberspace --- Programming --- Electronic data processing - Distributed processing - Congresses --- Distributed operating systems (Computers) - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The two volume set LNCS 3102/3103 constitutes the refereed proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2004, held in Seattle, WA, USA, in June 2004. The 230 revised full papers and 104 poster papers presented were carefully reviewed and selected from 460 submissions. The papers are organized in topical sections on artificial life, adaptive behavior, agents, and ant colony optimization; artificial immune systems, biological applications; coevolution; evolutionary robotics; evolution strategies and evolutionary programming; evolvable hardware; genetic algorithms; genetic programming; learning classifier systems; real world applications; and search-based software engineering.

Genetic algorithms --- Parallel processing (Electronic computers) --- Data processing --- Evolutionary computation. --- Genetic computation. --- GAs (Algorithms) --- Genetic searches (Algorithms) --- Computer science. --- Microprocessors. --- Computers. --- Algorithms. --- Computer science --- Artificial intelligence. --- Bioinformatics. --- Computer Science. --- Computation by Abstract Devices. --- Algorithm Analysis and Problem Complexity. --- Artificial Intelligence (incl. Robotics). --- Processor Architectures. --- Discrete Mathematics in Computer Science. --- Mathematics. --- Computer Science, general. --- Algorithms --- Combinatorial optimization --- Evolutionary computation --- Genetic programming (Computer science) --- Learning classifier systems --- Computer software. --- Computational complexity. --- Artificial Intelligence. --- Bio-informatics --- Biological informatics --- Biology --- Information science --- Computational biology --- Systems biology --- Complexity, Computational --- Electronic data processing --- Machine theory --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Software, Computer --- Computer systems --- Informatics --- Science --- Computer science—Mathematics. --- Minicomputers --- Algorism --- Algebra --- Arithmetic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Cybernetics --- Calculators --- Cyberspace --- Foundations --- Genetic algorithms - Data processing - Congresses --- Parallel processing (Electronic computers) - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Static analysis is a research area aimed at developing principles and tools for veri?cation, certi?cation, semantics-based manipulation, and high-performance implementation of programming languages and systems. The series of Static Analysis symposia has served as the primary venue for presentation and disc- sion of theoretical, practical, and application advances in the area. This volume contains the papers accepted for presentation at the 11th Int- nationalStaticAnalysisSymposium(SAS2004),whichwasheldAugust26–28in Verona,Italy.Inresponse to the callfor papers,63contributions weresubmitted from 20 di?erent countries. Following on-line discussions, the ProgramComm- tee met in Verona on May 06, and selected 23 papers, basing this choice on their scienti?c quality, originality, and relevance to the symposium. Each paper was reviewed by at least 3 PC members or external referees. In addition to the contributed papers, this volume includes contributions by outstanding invited speakers: a full invited paper by Thomas Henzinger (University of Califorina at Berkeley), and abstracts of the talks given by the other invited speakers, Sheila McIlraith (University of Toronto), Ehud Shapiro (Weizmann Institute) and Yannis Smaragdakis (Georgia Institute of Technology).

681.3*D28 --- 681.3*D32 --- 681.3*D33 --- 681.3*F31 --- 681.3*F32 --- 681.3*D33 Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- 681.3*D32 language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- 681.3*D28 Metrics: complexity measures; performance measures; software science (Software engineering)--See also {681.3*D48} --- Metrics: complexity measures; performance measures; software science (Software engineering)--See also {681.3*D48} --- 681.3*F31 Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- 681.3*F32 Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- Computer programming --- Programming languages (Electronic computers) --- Programmation (Informatique) --- Langages de programmation --- Congresses. --- Congrès --- Congrès --- EPUB-LIV-FT SAS SPRINGER-B Static analysis --- Computer science. --- Software engineering. --- Computer programming. --- Programming languages (Electronic computers). --- Computer logic. --- Mathematical logic. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Software Engineering. --- Mathematical Logic and Formal Languages. --- Programming Techniques. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer software engineering --- Engineering --- Informatics --- Science --- Programming --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Static analysis --- SAS --- Computer programming - Congresses --- Programming languages (Electronic computers) - Congresses