Practical Aspects of Declarative Languages 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009, Proceedings
| Author/creator | Gill, Andy Volume Editor |
| Other author | Swift, Terrance Volume Editor |
| Format | Electronic |
| Publication Info | New York : Springer |
| Description | viii, 285 p. 23.500 x 015.500 cm. |
| Supplemental Content | Full text available from Springer Nature - Springer Computer Science eBooks 2009 English International |
| Supplemental Content | Full text available from Springer Books |
| Supplemental Content | Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present) |
| Subjects |
| Series | Lecture Notes in Computer Science / Programming and Software Engineering Ser. |
| Summary | Annotation This book constitutes the refereed proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages, PADL 2009, held in Savannah, GA, USA, in January 2009, collocated with POPL 2009, the Symposium on Principles of Programming Languages.The 18 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 48 submissions. The volume features original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including functions, relations, logic, and constraints. The papers address all current aspects of declarative programming; they are organized in topical sections on user interfaces and environments, networks and data, multi-threading and parallelism, databases and large data sets, tabling and optimization, as well as language extensions and implementation. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| ISBN | 9783540929949 |
| ISBN | 3540929940 (Trade Paper) Active Record |
| Standard identifier# | 9783540929949 |
| Stock number | 00024965 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |