TY - BOOK ID - 7837516 TI - Practical aspects of declarative languages : 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010 : proceedings AU - Carro, Manuel. AU - Pena, Ricardo. AU - PADL 2010 PY - 2010 SN - 3642115020 9786613563453 3642115039 1280385537 PB - Berlin ; Heidelberg : Springer-Verlag, DB - UniCat KW - Computer Science KW - Engineering & Applied Sciences KW - Programming languages (Electronic computers) KW - Declarative programming KW - Declarative programming languages KW - Semantics KW - Declarative languages (Computer science) KW - Non-procedural languages (Computer science) KW - Computer science. KW - Software engineering. KW - Computer programming. KW - Programming languages (Electronic computers). KW - Computers. KW - Computer logic. KW - Computer Science. KW - Programming Languages, Compilers, Interpreters. KW - Software Engineering/Programming and Operating Systems. KW - Theory of Computation. KW - Programming Techniques. KW - Logics and Meanings of Programs. KW - Software Engineering. KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Automatic computers KW - Automatic data processors KW - Computer hardware KW - Computing machines (Computers) KW - Electronic brains KW - Electronic calculating-machines KW - Electronic computers KW - Hardware, Computer KW - Computer systems KW - Cybernetics KW - Machine theory KW - Calculators KW - Cyberspace KW - Computer languages KW - Computer program languages KW - Computer programming languages KW - Machine language KW - Electronic data processing KW - Languages, Artificial KW - Computers KW - Electronic computer programming KW - Electronic digital computers KW - Programming (Electronic computers) KW - Coding theory KW - Computer software engineering KW - Engineering KW - Informatics KW - Science KW - Programming KW - Computer programming KW - High-level programming languages KW - Information theory. KW - Logic design. KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Switching theory KW - Communication theory KW - Communication UR - https://www.unicat.be/uniCat?func=search&query=sysid:7837516 AB - This book constitutes the refereed proceedings of the 12th International Symposium on Practical Aspects of Declarative Languages, PADL 2010, held in Madrid, Spain, in January 2010, colocated with POPL 2010, the Symposium on Principles of Programming Languages. The 22 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 58 submissions. The volume features original work emphasizing novel applications and implementation techniques for all forms of clarative concepts, including functions, relations, logic, and constraints. The papers address all current aspects of declarative programming; they are organized in topical sections on non-monotonic reasoning - answer set programming, types, parallelism and distribution, code quality assurance, domain specific languages, programming aids, constraints, and tabling - agents. ER -