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.
Erlang '04 : proceedings of the ACM SIGPLAN 2004 Erlang Workshop : September 22, 2004, Snowbird, Utah, USA
| Erlang '04 : proceedings of the ACM SIGPLAN 2004 Erlang Workshop : September 22, 2004, Snowbird, Utah, USA |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM Press, 2004 |
| Descrizione fisica | 1 online resource (78 p.;) |
| Collana | ACM Conferences |
| Soggetto topico |
ERLANG (Computer program language)
Computer programming |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | ERLANG '04 |
| Record Nr. | UNINA-9910375917203321 |
| [Place of publication not identified], : ACM Press, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Functional and Logic Programming [[electronic resource] ] : 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings / / edited by Masami Hagiya, Philip Wadler
| Functional and Logic Programming [[electronic resource] ] : 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings / / edited by Masami Hagiya, Philip Wadler |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (X, 298 p.) |
| Disciplina | 005.1/14 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer programming
Programming languages (Electronic computers) Computer logic Mathematical logic Artificial intelligence Programming Techniques Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages Artificial Intelligence |
| ISBN | 3-540-33439-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence in Language Design: A Case of Lightning Striking Four Times in the Same Place -- Refereed Papers -- “Scrap Your Boilerplate” Reloaded -- Ruler: Programming Type Rules -- A Framework for Extended Algebraic Data Types -- Lock Free Data Structures Using STM in Haskell -- XML Type Checking Using High-Level Tree Transducer -- A Computational Approach to Pocklington Certificates in Type Theory -- Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust-Management System -- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems -- Resource Analysis by Sup-interpretation -- Lazy Set-Sharing Analysis -- Size-Change Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs of Projections -- iData for the World Wide Web – Programming Interconnected Web Forms -- Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages -- WASH Server Pages. |
| Record Nr. | UNISA-996466134303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Practical Aspects of Declarative Languages [[electronic resource] ] : 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings / / edited by Veronica Dahl, Philip Wadler
| Practical Aspects of Declarative Languages [[electronic resource] ] : 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings / / edited by Veronica Dahl, Philip Wadler |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (X, 414 p.) |
| Disciplina | 005.131 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Compilers (Computer programs)
Computer programming Software engineering Computer science Compilers and Interpreters Programming Techniques Software Engineering Computer Science Logic and Foundations of Programming |
| ISBN | 3-540-36388-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- The Role of Declarative Languages in Mining Biological Databases -- The Continue Server (or, How I Administered PADL 2002 and 2003) -- Zen and the Art of Symbolic Computing: Light and Fast Applicative Algorithms for Computational Linguistics -- Papers -- Data Mining the Yeast Genome in a Lazy Functional Language -- Non-monotonic Reasoning on Beowulf Platforms -- Datalog with Constraints: A Foundation for Trust Management Languages -- Web Programming with SMLserver -- An Integrated Information System Powered by Prolog -- JMatch: Iterable Abstract Pattern Matching for Java -- Sequence Quantification -- Roll: A Language for Specifying Die-Rolls -- Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming -- Multi-agent Reactive Systems -- ACTILOG: An Agent Activation Language -- Logic Programs for Querying Inconsistent Databases -- A CLP-Based Tool for Computer Aided Generation and Solving of Maths Exercises -- A Logical Framework for Modelling eMAS -- SXSLT: Manipulation Language for XML -- Type-Based XML Processing in Logic Programming -- WAM Local Analysis -- Garbage Collection Algorithms for Java-Based Prolog Engines -- Solving Combinatorial Problems with a Constraint Functional Logic Language -- Logic Programs as Compact Denotations -- A Strafunski Application Letter -- Functional Hybrid Modeling -- Lambda Goes to Hollywood. |
| Record Nr. | UNISA-996465289403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Practical Aspects of Declarative Languages : 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings / / edited by Veronica Dahl, Philip Wadler
| Practical Aspects of Declarative Languages : 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings / / edited by Veronica Dahl, Philip Wadler |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (X, 414 p.) |
| Disciplina | 005.131 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Compilers (Computer programs)
Computer programming Software engineering Computer science Compilers and Interpreters Programming Techniques Software Engineering Computer Science Logic and Foundations of Programming |
| ISBN | 3-540-36388-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- The Role of Declarative Languages in Mining Biological Databases -- The Continue Server (or, How I Administered PADL 2002 and 2003) -- Zen and the Art of Symbolic Computing: Light and Fast Applicative Algorithms for Computational Linguistics -- Papers -- Data Mining the Yeast Genome in a Lazy Functional Language -- Non-monotonic Reasoning on Beowulf Platforms -- Datalog with Constraints: A Foundation for Trust Management Languages -- Web Programming with SMLserver -- An Integrated Information System Powered by Prolog -- JMatch: Iterable Abstract Pattern Matching for Java -- Sequence Quantification -- Roll: A Language for Specifying Die-Rolls -- Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming -- Multi-agent Reactive Systems -- ACTILOG: An Agent Activation Language -- Logic Programs for Querying Inconsistent Databases -- A CLP-Based Tool for Computer Aided Generation and Solving of Maths Exercises -- A Logical Framework for Modelling eMAS -- SXSLT: Manipulation Language for XML -- Type-Based XML Processing in Logic Programming -- WAM Local Analysis -- Garbage Collection Algorithms for Java-Based Prolog Engines -- Solving Combinatorial Problems with a Constraint Functional Logic Language -- Logic Programs as Compact Denotations -- A Strafunski Application Letter -- Functional Hybrid Modeling -- Lambda Goes to Hollywood. |
| Record Nr. | UNINA-9910143886503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the fifth ACM SIGPLAN International Conference on Functional Programming
| Proceedings of the fifth ACM SIGPLAN International Conference on Functional Programming |
| Autore | Odersky Martin |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2000 |
| Descrizione fisica | 1 online resource (294 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Proceedings of the fifth Association for Computing Machinery Special Interest Group on Programming Languages International Conference on Functional Programming
ICFP '00 Proceedings of the fifth ACM SIGPLAN International Conference on Functional Programming |
| Record Nr. | UNINA-9910376219003321 |
Odersky Martin
|
||
| [Place of publication not identified], : ACM, 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||