Practical Aspects of Declarative Languages [electronic resource] :13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings / edited by Ricardo Rocha, John Launchbury.
by Rocha, Ricardo [editor.]; Launchbury, John [editor.]; SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science: 6539Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.Description: VIII, 265p. online resource.ISBN: 9783642183782.Subject(s): Computer science | Software engineering | Logic design | Artificial intelligence | Computer Science | Programming Languages, Compilers, Interpreters | Programming Techniques | Logics and Meanings of Programs | Software Engineering | Mathematical Logic and Formal Languages | Artificial Intelligence (incl. Robotics)DDC classification: 005.13 Online resources: Click here to access online
In:
Springer eBooksSummary: This book constitutes the refereed proceedings of the 13th International Symposium on Practical Aspects of Declarative Languages, PADL 2011, held in Austin, TX, USA, in January 2011, co-located with POPL 2011, the Symposium on Principles of Programming Languages. The 17 revised full papers presented together with one application paper were carefully reviewed and selected from 40 submissions. The volume features a variety of contributions ranging from message-passing and mobile networks, concurrent and parallel programming, event processing and reactive programming, profiling and portability in Prolog, constraint programming, grammar combinators, belief set merging and work on new language extensions and tools.
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| QA76.76.C65 (Browse shelf) | Available | ||||
| Long Loan | MAIN LIBRARY | QA76.7-76.73 (Browse shelf) | Available |
Close shelf browser
| QA76.76.C65 Reliable Software Technologiey – Ada-Europe 2010 | QA76.76.C65 Compiler Design | QA76.76.C65 Programming Languages and Systems | QA76.76.C65 Practical Aspects of Declarative Languages | QA76.76.C65 Languages and Compilers for Parallel Computing | QA76.76.C65 Reliable Software Technologies - Ada-Europe 2011 | QA76.76.C65 Trends in Functional Programming |
This book constitutes the refereed proceedings of the 13th International Symposium on Practical Aspects of Declarative Languages, PADL 2011, held in Austin, TX, USA, in January 2011, co-located with POPL 2011, the Symposium on Principles of Programming Languages. The 17 revised full papers presented together with one application paper were carefully reviewed and selected from 40 submissions. The volume features a variety of contributions ranging from message-passing and mobile networks, concurrent and parallel programming, event processing and reactive programming, profiling and portability in Prolog, constraint programming, grammar combinators, belief set merging and work on new language extensions and tools.
There are no comments for this item.