Muutke küpsiste eelistusi

E-raamat: Practical Aspects of Declarative Languages: 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings

Edited by , Edited by
Teised raamatud teemal:
  • Formaat - PDF+DRM
  • Hind: 55,56 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
Practical Aspects of Declarative Languages: 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, ProceedingsSuurem pilt
Teised raamatud teemal:

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

This book constitutes the refereed proceedings of the 16th International Symposium on Practical Aspects of Declarative Languages, PADL 2014, held in SanDiego, CA, USA, in January 2014, co-located with POPL 2014, the 41st Symposium on Principles of Programming Languages. The 15 revised papers presented were carefully reviewed and selected from 27 submissions. They cover a wide range of topics related to logic and functional programing, including language support for parallelism and GPUs, constructs and techniques for modularity and extensibility, and applications of declarative programming to document processing and DNA simulation.
RCML: A Prescription for Safely Relaxing Synchrony
1(16)
K. C. Sivaramakrishnan
Lukasz Ziarek
Suresh Jagannathan
Partial Type Signatures for Haskell
17(16)
Thomas Winant
Dominique Devriese
Frank Piessens
Tom Schrijvers
The F# Computation Expression Zoo
33(16)
Tomas Petricek
Don Syme
Abstract Modular Inference Systems and Solvers
49(16)
Yuliya Lierler
Miroslaw Truszczynski
Sunroof: A Monadic DSL for Generating JavaScript
65(16)
Jan Bracker
Andy Gill
Compiling DNA Strand Displacement Reactions Using a Functional Programming Language
81(6)
R. Matthew Lakin
Andrew Phillips
Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems
87(17)
Tran Cao Son
Enrico Pontelli
Tiep Le
Towards Modeling Morality Computationally with Logic Programming
104(16)
Ari Saptawijaya
Luis Moniz Pereira
A Declarative Specification of Giant Number Arithmetic
120(16)
Paul Tarau
Embedding Foreign Code
136(16)
Robert Clifton-Everest
L. Trevor McDonell
M. T. Manuel Chakravarty
Gabriele Keller
Exploring the Use of GPUs in Constraint Solving
152(16)
Federico Campeotto
Alessandro Dal Palu
Agostino Dovier
Ferdinando Fioretto
Enrico Pontelli
On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs
168(16)
Miguel Areias
Ricardo Rocha
Typelets --- A Rule-Based Evaluation Model for Dynamic, Statically Typed User Interfaces
184(16)
Martin Elsman
Anders Schack-Nielsen
Expand: Towards an Extensible Pandoc System
200(16)
Jacco Krijnen
Doaitse Swierstra
Marcos O. Viera
Generic Generic Programming
216(17)
Jose Pedro Magalhaes
Andres Loh
Author Index 233
Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97833190413222e.html
Märksõnad: