Practical aspects of declarative languages : 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings /: 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings. (2017)

• Record Type: Book
• Other Titles: PADL 2017
• Further Information: Note: Yuliya Lierler, Walid Taha (eds.).
• Editors: Lierler, Yuliya; Taha, Walid, 1972-
• Other Names: PADL (Symposium), 19th
• Contents: Eliminating Irrelevant Non-determinism in Functional Logic Programs -- Canonicalizing High-Level Constructs in Picat -- An Overview of P_rhoLog -- Integrating Answer Set Programming with Object-oriented Languages -- Extending Answer Set Programs with Interpreted Functions as First-class Citizens -- Lowering the learning curve for declarative programming: a Python API for the IDP system -- Failing Faster: Overlapping Patterns for Property-Based Testing -- Boltzmann Samplers for Closed Simply-Typed Lambda Terms -- Selection Equilibria of Higher-Order Games -- DALI for Cognitive Robotics: Principles and Prototype Implementation -- Funky Grooves: Declarative Programming of Full-Fledged Musical Applications -- A Domain-Specific Language for Software-Defined Radio -- A Declarative DSL for Customizing ASCII Art -- Using Iterative Deepening for Probabilistic Logic Inference.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2017
• Extent: 1 online resource (x, 215 pages), illustrations
• Subjects: 005.13; Computer science; Declarative programming languages -- Congresses; Declarative programming -- Congresses; Declarative programming; Declarative programming languages; Computer Science; Programming Languages, Compilers, Interpreters; Programming Techniques; Logics and Meanings of Programs; Software Engineering; Artificial Intelligence (incl. Robotics); Computer Appl. in Administrative Data Processing; Computers -- Programming -- General; Computers -- Software Development & Engineering -- General; Computers -- Intelligence (AI) & Semantics; Computers -- Data Processing; Computer programming / software development; Software Engineering; Artificial intelligence; Public administration; Logic design; Software engineering; Artificial intelligence; Information systems; Computers -- Programming Languages -- General; Programming & scripting languages: general; Electronic books; Conference papers and proceedings; Electronic books
• Languages: English
• ISBNs: 9783319516769; 3319516760; 3319516752; 9783319516752
• Related ISBNs: 9783319516752
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed January 19, 2017).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.