Practical aspects of declarative languages [electronic resource] : 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings / Enrico Pontelli, Tran Cao Son (eds.).
PADL (Symposium) (17th : 2015 : Portland, Ore.); Pontelli, Enrico, 1967- editor.; Son, Tran Cao, 1962- editor.
2015
QA76.615 .P33 2015eb
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Practical aspects of declarative languages [electronic resource] : 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings / Enrico Pontelli, Tran Cao Son (eds.).
Meeting Name PADL (Symposium) (17th : 2015 : Portland, Ore.)
ISBN 9783319196862 electronic book
3319196863 electronic book
9783319196855
DOI https://doi.org/10.1007/978-3-319-19686-2
Published Cham : Springer, 2015.
Language English
Description 1 online resource (ix, 149 pages) : illustrations.
Item Number 10.1007/978-3-319-19686-2 doi
Call Number QA76.615 .P33 2015eb
Dewey Decimal Classification 005.13
Summary This book constitutes the refereed proceedings of the 17th International Symposium on Practical Aspects of Declarative Languages, PADL 2015, held in Portland, OR, USA, in June 2015. The 10 revised papers presented were carefully reviewed and selected from numerous submissions. The papers cover all forms of declarative concepts, including, functional, logic, constraints, etc.
Note International conference proceedings.
Includes author index.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed June 18, 2015).
Added Author Pontelli, Enrico, 1967- editor.
Son, Tran Cao, 1962- editor.
Series Lecture notes in computer science ; 9131.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Ontology-Driven Data Semantics Discovery for Cyber-Security
State Space Planning Using Transaction Logic
On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule
Declaratively Solving Google Code Jam Problems with Picat
Reactive Single-Page Applications with Dynamic Dataflow
CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry
Implementation and Performance of Probabilistic Inference
A Haskell Implementation of a Rule-Based Program Transformation for C Programs
On Logic Programming Representations of Lambda Terms: de Bruijn Indices, Compression, Type Inference, Combinatorial Generation, Normalization
Programming Microcontrollers in OCaml: the OCaPICProject.

Browse Subjects

Show more subjects...

Statistics

from
to
Export