Practical aspects of declarative languages [electronic resource] : 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings / Matthew Flatt, Hai-Feng Guo (eds.).
2014
QA76.615
Linked e-resources
Linked Resource
Online Access
Details
Title
Practical aspects of declarative languages [electronic resource] : 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings / Matthew Flatt, Hai-Feng Guo (eds.).
Meeting Name
PADL (Symposium) (16th : 2014 : San Diego, Calif.)
ISBN
9783319041322 electronic book
3319041320 electronic book
9783319041315
3319041320 electronic book
9783319041315
Published
Cham : Springer, 2014.
Language
English
Description
1 online resource (xvi, 233 pages) : illustrations.
Item Number
10.1007/978-3-319-04132-2 doi
Call Number
QA76.615
Dewey Decimal Classification
005.13
Summary
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.
Note
International conference proceedings.
Includes author index.
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Description based on online resource; title from PDF title page (SpringerLink, viewed December 10, 2013).
Series
Lecture notes in computer science ; 8324. 0302-9743
LNCS sublibrary. SL 2, Programming and software engineering.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources