Articoli correlati a Practical Aspects of Declarative Languages: 9th Internationa...
Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings: 4354 - Brossura
Sinossi
This book constitutes the refereed proceedings of the 9th International Symposium on Practical Aspects of Declarative Languages, PADL 2007, held in Nice, France, in January 2007, co-located with POPL 2007, the Symposium on Principles of Programming Languages. The 19 revised full papers presented together with two invited papers were carefully reviewed and selected from 58 submissions. All current aspects of declarative programming are addressed.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
QuickCheck Testing for Fun and Profit.- A Constraint Programming Approach to Bioinformatics Structural Problems.- Rewriting Haskell Strings.- Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning.- Algebraic Knowledge Discovery Using Haskell.- Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang.- Automatic Incrementalization of Prolog Based Static Analyses.- Verification of Java Bytecode Using Analysis and Transformation of Logic Programs.- Combining Static Analysis and Profiling for Estimating Execution Times.- On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation.- Compiling Constraint Handling Rules for Efficient Tabled Evaluation.- Prolog Performance on Larger Datasets.- BAD, a Declarative Logic-Based Language for Brain Modeling.- From Zinc to Design Model.- Inductive Logic Programming by Instance Patterns.- ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement.- The Joins Concurrency Library.- HPorter: Using Arrows to Compose Parallel Processes.- Coupled Schema Transformation and Data Conversion for XML and SQL.- Aspect-Oriented Programming in Higher-Order and Linear Logic.- Partial Evaluation of Pointcuts.
Product Description
Book by None
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer
- Data di pubblicazione2007
- ISBN 10 3540696083
- ISBN 13 9783540696087
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine352
- RedattoreHanus Michael
- Contatto del produttorenon disponibile
Compra usato
Condizioni: molto buonoEx-library paperback in very nice...
Visualizza questo articolo
EUR 42,71
EUR 64,93 per la spedizione da U.S.A. a Italia
Destinazione, tempi e costiCompra nuovo
Visualizza questo articolo
EUR 44,95
GRATIS per la spedizione da U.S.A. a Italia
Destinazione, tempi e costiRisultati della ricerca per Practical Aspects of Declarative Languages: 9th Internationa...
Foto dell'editore
Practical Aspects Of Declarative Languages
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Codice articolo ABNR-90075
Quantità: 1 disponibili
Foto dell'editore
Practical Aspects Of Declarative Languages
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEJUNE24-269154
Quantità: 1 disponibili
Foto dell'editore
Practical Aspects of Declarative Languages
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 352. Codice articolo 26301824
Quantità: 1 disponibili
Immagini fornite dal venditore
Practical Aspects of Declarative Languages
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 9th International Symposium on Practical Aspects of Declarative Languages, PADL 2007, held in Nice, France, in January 2007, co-located with POPL 2007, the Symposium on Principles of Programming Langu. Codice articolo 4898874
Quantità: Più di 20 disponibili
Foto dell'editore
Practical Aspects of Declarative Languages
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. pp. 352 Illus. Codice articolo 7546079
Quantità: 1 disponibili
Foto dell'editore
Practical Aspects of Declarative Languages
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. pp. 352. Codice articolo 18301834
Quantità: 1 disponibili
Immagini fornite dal venditore
Practical Aspects of Declarative Languages
Editore:
Springer, Berlin, Springer Berlin Heidelberg, Springer, 2006
ISBN 10: 3540696083
ISBN 13: 9783540696087
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 9th International Symposium on Practical Aspects of Declarative Languages, PADL 2007, held in Nice, France, in January 2007, co-located with POPL 2007, the Symposium on Principles of Programming Languages. The 19 revised full papers presented together with two invited papers were carefully reviewed and selected from 58 submissions. All current aspects of declarative programming are addressed. 342 pp. Englisch. Codice articolo 9783540696087
Quantità: 2 disponibili
Foto dell'editore
Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings (Lecture Notes in Computer Science, 4354)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540696087_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Practical Aspects of Declarative Languages : 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings
Editore:
Springer, Berlin, Springer Berlin Heidelberg, Springer, 2006
ISBN 10: 3540696083
ISBN 13: 9783540696087
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 9th International Symposium on Practical Aspects of Declarative Languages, PADL 2007, held in Nice, France, in January 2007, co-located with POPL 2007, the Symposium on Principles of Programming Languages. The 19 revised full papers presented together with two invited papers were carefully reviewed and selected from 58 submissions. All current aspects of declarative programming are addressed. Codice articolo 9783540696087
Quantità: 2 disponibili
Foto dell'editore
Practical Aspects of Declarative Languages: 9th International Symposium, Padl 2007, Nice, France,january 14-15, 2007, Proceedings
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 1st edition. 334 pages. 9.25x6.75x0.50 inches. In Stock. Codice articolo x-3540696083
Quantità: 2 disponibili