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
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
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
|
| Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Edizione: | 1st ed. 2006. |
| Descrizione fisica: | 1 online resource (X, 298 p.) |
| Disciplina: | 005.1/14 |
| 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 | |
| Persona (resp. second.): | HagiyaMasami |
| WadlerPhilip | |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di bibliografia: | Includes bibliographical references and index. |
| 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. |
| Titolo autorizzato: | Functional and Logic Programming |
| ISBN: | 3-540-33439-4 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996466134303316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Programming and Software Engineering ; ; 3945