hh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Practical Aspects of Declarative Languages: 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings
University of Nebraska, Omaha, USA.
Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES). Rice University, Houston, USA. (EMG)ORCID-id: 0000-0003-3160-9188
2017 (engelsk)Konferanseproceedings (Fagfellevurdert)
Abstract [en]

The proceedings contain 14 papers. The special focus in this conference is on Practical Aspects of Declarative Languages. The topics include: Eliminating irrelevant non determinism in functional logic programs; canonicalizing high-level constructs in picat; 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; overlapping patterns for property-based testing; Boltzmann samplers for closed simply-typed lambda terms; selection equilibria of higher-order games; principles and prototype implementation; declarative programming of full-fledged musical applications; a domain-specific language for software-defined radio; a declarative DSL for customizing ASCII art and using iterative deepening for probabilistic logic inference. © Copyright 2017 Elsevier B.V., All rights reserved

sted, utgiver, år, opplag, sider
Heidelberg: Springer Publishing Company, 2017. , s. 215
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 10137
HSV kategori
Identifikatorer
URN: urn:nbn:se:hh:diva-36710DOI: 10.1007/978-3-319-51676-9ISBN: 978-3-319-51675-2 (tryckt)ISBN: 978-3-319-51676-9 (tryckt)OAI: oai:DiVA.org:hh-36710DiVA, id: diva2:1202815
Konferanse
19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017
Merknad

Scopus-ID: 2-s2.0-85010203601

Tilgjengelig fra: 2018-05-01 Laget: 2018-05-01 Sist oppdatert: 2018-05-02bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekst

Personposter BETA

Taha, Walid

Søk i DiVA

Av forfatter/redaktør
Taha, Walid
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 80 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf