Choose an application

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

This volume contains the papers presented at the Ninth International Sym- sium on Practical Aspects of Declarative Languages (PADL 2007) held on J- uary14-15,2007inNice,France. Informationabouttheconferencecanbefound athttp://www. informatik. uni-kiel. de/~mh/padl07. Followingthetradition of previousevents,PADL 2007wasco-locatedwith the 34th Annual Symposium onPrinciplesofProgrammingLanguages(POPL2007)thatwasheldonJanuary 17-19, 2007. The PADL conference series is a forum for researchers and practioners to present original work emphasizing novel applications and implementation te- niques for all forms of declarative concepts, including functional, logic, c- straints, etc. Topics of interest include: - Innovative applications of declarative languages - Declarative domain-speci?c languages and applications - Practical applications of theoretical results - New language developments and their impact on applications - Evaluation of implementation techniques on practical applications - Novel implementation techniques relevant to applications - Novel uses of declarative languages in the classroom - Practical experiences In response to the call for papers, 65 abstracts were initially received. Finally, 58 full papers were submitted. Each submission was reviewed by at least three Program Committee members. The committee decided to accept 19 papers. In addition,theprogramalsoincludedtwoinvitedtalksbyJohnHughes(Chalmers University of Technology) and Pedro Barahona (Universidade Nova de Lisboa). I would like to thank the Program Committee members who worked hard to produce high-quality reviews for the papers with a tight schedule, as well as all the external reviewers involved in the paper selection. I also would like to thank Gopal Gupta for his expert advice in many aspects of the conference and his publicity e?orts.

Computer science --- Programming --- Computer. Automation --- programmeren (informatica) --- programmeertalen --- software engineering

Choose an application

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

Choose an application

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

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. The 11 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.

Logic programming --- Computer Science --- Engineering & Applied Sciences --- Information Technology --- Software Engineering --- Computer science. --- Software engineering. --- Computer programming. --- Programming languages (Electronic computers). --- Computer logic. --- Mathematical logic. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Programming Techniques. --- Programming Languages, Compilers, Interpreters. --- Software Engineering. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- 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 --- Compilers (Computer programs). --- Machine theory. --- Compilers and Interpreters. --- Computer Science Logic and Foundations of Programming. --- Formal Languages and Automata Theory. --- Compiling programs (Computer programs) --- Computer programs --- Programming software --- Systems software --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics

Choose an application

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

Functional programming (Computer science) --- Logic programming. --- Computer programming --- Logic programming series --- MIT Press series in logic programming --- Programació funcional (Informàtica) --- Programació lògica

Choose an application

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

This book constitutes the proceedings of the Kiel Declarative Programming Days, KDPD 2013, unifying the following conferences: the 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013), the 22nd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2013) and the 27th Workshop on Logic Programming (WLP 2013), held in Kiel, Germany, in September 2013. The 15 papers presented were carefully and reviewed and selected for inclusion in this book. They cover the following topics: logic programming, constraint problem solving, programmable logic solvers, functional programming and constraint programming.

Mathematical control systems --- Mathematics --- Computer science --- Programming --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- toegepaste informatica --- computers --- informatica --- programmeren (informatica) --- wiskunde --- KI (kunstmatige intelligentie) --- computerkunde --- robots --- informatietheorie --- AI (artificiële intelligentie)