Practical aspects of declarative languages : 10th international symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, proceedings / / Paul Hudak, David S. Warren (editors) |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [2008] |
Descrizione fisica | 1 online resource (X, 342 p.) |
Disciplina | 005.13 |
Collana | Lecture notes in computer science |
Soggetto topico | Programming languages (Electronic computers) - Semantics |
ISBN | 3-540-77442-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml -- Automatic Coding Rule Conformance Checking Using Logic Programming -- Comprehension and Dependency Analysis of Aspect-Oriented Programs through Declarative Reasoning -- Efficient Reasoning for Nogoods in Constraint Solvers with BDDs -- Flexible, Rule-Based Constraint Model Linearisation -- The Role of Abduction in Declarative Authorization Policies -- Unification of Arrays in Spreadsheets with Logic Programming -- Specialising Simulator Generators for High-Performance Monte-Carlo Methods -- A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers -- Matchete: Paths through the Pattern Matching Jungle -- Parser Combinators for Ambiguous Left-Recursive Grammars -- DCGs + Memoing = Packrat Parsing but Is It Worth It? -- An Improved Continuation Call-Based Implementation of Tabling -- Scheduling Light-Weight Parallelism in ArTCoP -- Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism -- Hierarchical Master-Worker Skeletons -- High-Level Multi-threading Programming in Logtalk -- Switched-On Yampa -- Model-Based Testing of Thin-Client Web Applications and Navigation Input -- High-Level Database Programming in Curry. |
Record Nr. | UNISA-996465589903316 |
Berlin ; ; Heidelberg : , : Springer, , [2008] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Practical aspects of declarative languages : 10th international symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, proceedings / / Paul Hudak, David S. Warren (editors) |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [2008] |
Descrizione fisica | 1 online resource (X, 342 p.) |
Disciplina | 005.13 |
Collana | Lecture notes in computer science |
Soggetto topico | Programming languages (Electronic computers) - Semantics |
ISBN | 3-540-77442-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml -- Automatic Coding Rule Conformance Checking Using Logic Programming -- Comprehension and Dependency Analysis of Aspect-Oriented Programs through Declarative Reasoning -- Efficient Reasoning for Nogoods in Constraint Solvers with BDDs -- Flexible, Rule-Based Constraint Model Linearisation -- The Role of Abduction in Declarative Authorization Policies -- Unification of Arrays in Spreadsheets with Logic Programming -- Specialising Simulator Generators for High-Performance Monte-Carlo Methods -- A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers -- Matchete: Paths through the Pattern Matching Jungle -- Parser Combinators for Ambiguous Left-Recursive Grammars -- DCGs + Memoing = Packrat Parsing but Is It Worth It? -- An Improved Continuation Call-Based Implementation of Tabling -- Scheduling Light-Weight Parallelism in ArTCoP -- Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism -- Hierarchical Master-Worker Skeletons -- High-Level Multi-threading Programming in Logtalk -- Switched-On Yampa -- Model-Based Testing of Thin-Client Web Applications and Navigation Input -- High-Level Database Programming in Curry. |
Record Nr. | UNINA-9910768461703321 |
Berlin ; ; Heidelberg : , : Springer, , [2008] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Proceedings of the 15th Acm Sigplan International Conference on Functional Programming |
Autore | Hudak Paul |
Pubbl/distr/stampa | [Place of publication not identified], : Association for Computing Machinery, 2010 |
Descrizione fisica | 1 online resource (398 p.;) |
Collana | ACM Conferences |
Soggetto topico | Information Technology - Computer Science (Hardware & Networks) |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | ICFP '10 |
Record Nr. | UNINA-9910376027503321 |
Hudak Paul
![]() |
||
[Place of publication not identified], : Association for Computing Machinery, 2010 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|