Choose an application

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

Declarative languages have traditionally been regarded by the mainstream c- puting community as too impractical to be put to practical use. At the same time, traditionalconferencesdevotedto declarativelanguagesdo not haveissues related to practice as their central focus. Thus, there are few forums devoted to discussion of practical aspects and implications of newly discovered results and techniques related to declarative languages. The goal of the First International Workshop on Practical Aspects of Declarative Languages (PADL) is to bring together researchers,practitioners and implementors of declarative languages to discuss practical issues and practical implications of their research results. The workshop was held in San Antonio, Texas, during January 18-19, 1999. This volume contains its proceedings. Fifty three papers were submitted in response to the call for papers. These papers were written by authors belonging to twenty one countries from six c- tinents. Each paper was assigned to at least two referees for reviewing. Twenty four papers were nally selected for presentation at the workshop. Many good papers could not be included due to the limited duration of the workshop. The workshop included invited talks by Mark Hayden of DEC/Compaq Systems - search Center, speaking on Experiences Building Distributed Systems in ML," and Mark Wallace of Imperial College Center for Planning And Resource C- trol (IC-PARC), speaking on ECLiPSe: Declarative Specic ation and Scalable Implementation.

Programming languages (Electronic computers) --- 681.3*D11 --- 681.3*D16 --- 681.3*D2 --- 681.3*D30 --- 681.3*F3 --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- Logics and meanings of programs (Theory of computation) --- 681.3*D11 Applicative (functional) programming --- Applicative (functional) programming --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Semantics --- Computerwetenschap--?*D16 --- Computerwetenschap--?*D30 --- Congresses --- Programming languages (Electronic computers). --- Software engineering. --- Computer logic. --- Artificial intelligence. --- Programming Languages, Compilers, Interpreters. --- Software Engineering/Programming and Operating Systems. --- Logics and Meanings of Programs. --- Artificial Intelligence. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer science logic --- Logic, Symbolic and mathematical --- Computer software engineering --- Engineering --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial

Choose an application

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

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013, held in Madrid, Spain, in September 2013. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions during two rounds of reviewing and improvement. 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.

Engineering & Applied Sciences --- Computer Science --- Computer science. --- Computer programming. --- Software engineering. --- Computer logic. --- Mathematical logic. --- Computer science --- Artificial intelligence. --- Computer Science. --- Programming Techniques. --- Software Engineering. --- Mathematical Logic and Formal Languages. --- Artificial Intelligence (incl. Robotics). --- Discrete Mathematics in Computer Science. --- Logics and Meanings of Programs. --- Mathematics. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer mathematics --- Discrete mathematics --- 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 software engineering --- Engineering --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Informatics --- Science --- Programming --- Computational complexity. --- Logic design. --- Artificial Intelligence. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Complexity, Computational --- Logic, Symbolic and mathematical. --- Computer science—Mathematics. --- Machine theory. --- Discrete mathematics. --- Formal Languages and Automata Theory. --- Computer Science Logic and Foundations of Programming. --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics

Choose an application

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

Mathematical logic --- Computer science --- Programming --- Artificial intelligence. Robotics. Simulation. Graphics --- programmeren (informatica) --- programmeertalen --- wiskunde --- logica --- robots

Choose an application

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

Logic programming --- Parallel processing (Electronic computers) --- Congresses

Choose an application

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

This volume contains the proceedings of the 21st International Conference on Logic Programming which was held in Sitges (Barcelona), Spain, from October 2nd to 5th, 2005. The conference was colocated with the International Conf- ence on ConstraintProgramming(CP 2005)and the following 6 post-conference workshops: - CICLOPS 2005: Colloquium on Implementation of Constraint and Logic Programming Systems - CSLP 2005: Constraint Solving and Language Processing - WCB 2005: Constraint Based Methods for Bioinformatics - WLPE 2005: Logic-Based Methods in Programming Environments - MoVeLog 2005: Mobile Code Safety and Program Veri?cation Using C- putational Logic Tools - CHR 2005: Constraint Handling Rules The conferencecoincided with a solareclipse, whichoccurredon October 3rd and was visible in Sitges. No conference activities were scheduled at the time of the eclipse to allow delegates to view this extraordinary astronomical event. Since the ?rst conference that was held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic progr- ming. In this edition of the conference, extra attention was given to novel - plications of logic programming and to work providing novel integrations of di?erent areas. Colocation with CP 2005 further reinforced these themes, as it provided an opportunity for the exchange of ideas and cross-fertilization among two areaswhich havecommon roots. ICLP 2005and CP 2005sharedthe invited speakers to underscore this e?ort. ICLP 2005 broke new ground by holding a doctoral consortium for the ?rst time in the ICLP series of conference.

Mathematical logic --- Computer science --- Programming --- Artificial intelligence. Robotics. Simulation. Graphics --- programmeren (informatica) --- programmeertalen --- wiskunde --- logica --- robots