Practical Aspects of Declarative Languages

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.

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

• Compiladores
• Engenharia do software
• Programação de computadores / desenvolvimento de software
• Teoria matemática da computação
• Inteligência artificial
• Aplicações de negócios

answer set programming;constraints;functional programming;hybrid systems;logic programming;cycle handling;declarative programming;flp semantics;function symbols;functional reactive programming;inference engine;interface to object-oriented languages;iterative deepening;nonmonotonic reasoning;probabilistic and reactive programming languages;probabilistic logic programming;reactive values and relations;satisfiability;synchronous dataflow;type inference