Articles liés à Practical Aspects of Declarative Languages: 19th Internation...

Practical Aspects of Declarative Languages: 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings - Couverture souple

 
9783319516776: Practical Aspects of Declarative Languages: 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

  • ÉditeurSpringer
  • Date d'édition2016
  • ISBN 10 3319516779
  • ISBN 13 9783319516776
  • ReliurePaperback
  • Langueanglais
  • Coordonnées du fabricantnon disponible

(Aucun exemplaire disponible)

Chercher:



Créez une demande

Vous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !

Créez une demande

Autres éditions populaires du même titre

9783319516752: Practical Aspects of Declarative Languages: 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings

Edition présentée

ISBN 10 :  3319516752 ISBN 13 :  9783319516752
Editeur : Springer, 2016
Couverture souple