This volume contains the proceedings of the 9th International Symposium on Functional and Logic Programming (FLOPS 2008), held in Ise, Japan, April 14-16, 2008 at the Ise City Plaza. FLOPS is a forum for research on all issues concerning functional progr- ming and logic programming. In particular it aims to stimulate the cro- fertilization as well as integration of the two paradigms. The previous FLOPS meetings took place in Fuji-Susono (1995), Shonan (1996), Kyoto (1998), Tsukuba(1999), Tokyo(2001), Aizu (2002), Nara(2004), and againFuji-Susono (2006). Since its 1999 edition, FLOPS proceedings have been published by Springer in itsLecture Notes in Computer Science series, as volumes 1722,2024, 2441, 2998 and 3945, respectively. In response to the call for papers, 59 papers were submitted. Each paper was reviewedbyatleastthreeProgramCommittee members, withthe helpofexpert external reviewers. The Program Committee meeting was conducted electro- cally, for a period of two weeks in December 2007. After careful and thorough discussion, the ProgramCommittee selected20 papers(33%)for presentationat theconference.Inadditiontothe20contributedpapers, thesymposiumincluded talks by three invited speakers: Peter Dybjer (Chalmers University of Techn- ogy), Naoki Kobayashi (Tohoku University) and Torsten Schaub (University of P

The International Symposium on Practical Aspects of Declarative Languages (PADL) is a forum for researchers and practioners to present original work emphasizing novel applications and implementation techniques for all forms of declarativeconcepts, includingfunctional, logic, constraints, etc.Declarativel- guages build on sound theoretical foundations to provide attractive frameworks for application development. These languages have been successfully applied to a wide array of di?erent real-world situations, including database management, active networks, software engineering, decision support systems, or music c- position; whereas new developments in theory and implementation have opened up new application areas. Inversely, applications often drive the progress in the theory and implementation of declarative systems, as well as bene't from this progress. The 7th PADL Symposium was held in Long Beach, California on January 10-11, 2005, and was co-located with ACM's Principles of Programming L- guages(POPL).From36 submitted papers, the ProgramCommittee selected 17 papers for presentation at the symposium, based upon at least three reviews for eachpaper, providedfromProgramCommitteemembersandadditionalreferees. Two invited talks were presented at the conference: one by Norman R- sey (Harvard University) entitled "Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction"; and a second by Saumya Debray (University of Arizona) entitled "Code Compression." Following what has become a tradition in PADL symposia, the Program Committee selected one paper to receive the "Most Practical Paper" award. This year the paper judged the best in terms of practicality, originality, and claritywas"AProvablyCorrectCompilerforE?cientModelCheckingofMobile Processes,"byPingYang, YifeiDong, C.R.Ramakrishnan, andScottA.Smolka.

This book constitutes the refereed proceedings of the 9th International Static Analysis Symposium, SAS 2002, held in Madrid, Spain in September 2002.The 32 revised full papers presented were carefully reviewed and selected from 86 submissions. The papers are organized in topical sections on theory, data structure analysis, type inference, analysis of numerical problems, implementation, data flow analysis, compiler optimizations, security analyses, abstract model checking, semantics and abstract verification, and termination analysis.

This book constitutes the proceedings of the Seventh International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP '95, held in Utrecht, The Netherlands, in September 1995.
The book presents 26 refereed full papers selected from 84 submissions; they report research on declarative programming languages and provide insights in the relation between the logic of those languages, implementation techniques, and the use of these languages in constructing real programs. In addition there are abstracts or full presentations of three invited talks as well as eight posters and demonstrations.

This volume constitutes the proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming (PLILP '94), held in Madrid, Spain in September 1994. The volume contains 27 full research papers selected from 67 submissions as well as abstracts of full versions of 3 invited talks by renowned researchers and abstracts of 11 system demonstrations and poster presentations. Among the topics covered are parallelism and concurrency; implementation techniques; partial evaluation, synthesis, and language issues; constraint programming; meta-programming and program transformation; functional-logic programming; and program analysis and abstract interpretation.

This volume contains the proceedings of the 11th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2010), held in Madrid, Spain, January 17-19, 2010. VMCAI 2010 was the 11th in a series of meetings. Previous meetings were held in Port Je?erson (1997), Pisa (1998), Venice (2002), New York (2003), Venice(2004),Paris(2005),Charleston(2006),Nice(2007),SanFrancisco(2008), and Savannah (2009). VMCAI centers on state-of-the-art research relevant to analysis of programs and systems and drawn from three research communities: veri?cation, model checking, and abstract interpretation. A goal is to facilitate interaction, cro- fertilization, and the advance of hybrid methods that combine two or all three areas. Topics covered by VMCAI include program veri?cation, program cert- cation, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, type systems, deductive methods, and optimization. The Program Committee selected 21 papers out of 57 submissions based on anonymous reviews and discussions in an electronic Program Committee me- ing. The principal selection criteria were relevance and quality.