Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
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)
| 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] | ||
| Materiale a stampa | ||
| 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)
| 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] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 15th Acm Sigplan International Conference on Functional Programming
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||