Shortcuts
Bitte warten Sie, bis die Seite geladen ist.
 
PageMenu- Hauptmenü-
Page content

Katalogdatenanzeige

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

Practical Aspects of Declarative Languages: 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings
Kataloginformation
Feldname Details
Vorliegende Sprache eng
ISBN 978-3-319-51675-2
Name Lierler, Yuliya ¬[Hrsg.]¬
Taha, Walid ¬[Hrsg.]¬
Name ANZEIGE DER KETTE Taha, Walid ¬[Hrsg.]¬
T I T E L Practical Aspects of Declarative Languages
Zusatz zum Titel 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings
Verlagsort Cham
Verlag Springer
Erscheinungsjahr 2017
2017
Umfang Online-Ressource (X, 215 p. 31 illus, online resource)
Reihe Lecture Notes in Computer Science ; 10137
Lecture notes in computer science
Band 10137
Titelhinweis Druckausg.ISBN: 978-3-319-51675-2
Printed editionISBN: 978-3-319-51675-2
ISBN ISBN 978-3-319-51676-9
Klassifikation UMX
COM010000
UMC
COM051010
005.13
005.45
QA76.7-76.73
QA76.76.C65
Kurzbeschreibung This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, France, in January 2017 and collocated with the ACM SIGPLAN Symposium on Principles of Programming Languages. The 14 papers presented in this volume were carefully reviewed and selected from 27 submissions. They deal with novel applications and implementation techniques for all forms of declarative languages, including but not limited to logic, constraint, and functional languages
2. Kurzbeschreibung 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
1. Schlagwortkette Deklarative Programmiersprache
ANZEIGE DER KETTE Deklarative Programmiersprache
SWB-Titel-Idn 484472658
Signatur Springer E-Book
Bemerkungen Elektronischer Volltext - Campuslizenz
Elektronische Adresse $uhttp://dx.doi.org/10.1007/978-3-319-51676-9
Internetseite / Link Volltext
Siehe auch Cover
.
ISBD-Anzeige Katalogdatensatz500243491
.
Kategorien-Anzeige Katalogdatensatz500243491
.
Verwandte Werke Katalogdatensatz500243491
.
Bände anzeigen Katalogdatensatz500243491
.
Titel zur Titelsammlung hinzufügen Katalogdatensatz500243491
.
Kataloginformation500243491 Datensatzanfang . Kataloginformation500243491 Seitenanfang .
Titel vormerken Katalogdatensatz500243491
Vollanzeige Katalogdaten 

Auf diesem Bildschirm erhalten Sie Katalog- und Exemplarinformationen zum ausgewählten Titel.

Im Bereich Kataloginformation werden die bibliographischen Details angezeigt. Per Klick auf Hyperlink-Begriffe wie Schlagwörter, Autoren, Reihen, Körperschaften und Klassifikationen können Sie sich weitere Titel des gewählten Begriffes anzeigen lassen.

Der Bereich Exemplarinformationen enthält zum einen Angaben über den Standort und die Verfügbarkeit der Exemplare. Zum anderen haben Sie die Möglichkeit, ausgeliehene Exemplare vorzumerken oder Exemplare aus dem Magazin zu bestellen.
Schnellsuche