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

 
9783540696087: Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings: 4354

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 buono
Ex-library paperback in very nice...
Visualizza questo articolo

EUR 65,64 per la spedizione da U.S.A. a Italia

Destinazione, tempi e costi

GRATIS per la spedizione da U.S.A. a Italia

Destinazione, tempi e costi

Risultati della ricerca per Practical Aspects of Declarative Languages: 9th Internationa...

Foto dell'editore

Editore: Springer, 2006
ISBN 10: 3540696083 ISBN 13: 9783540696087
Nuovo Brossura

Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

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

Contatta il venditore

Compra nuovo

EUR 45,44
Convertire valuta
Spese di spedizione: GRATIS
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

0
Editore: Springer, 2006
ISBN 10: 3540696083 ISBN 13: 9783540696087
Nuovo Brossura

Da: Basi6 International, Irving, TX, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEJUNE24-269154

Contatta il venditore

Compra nuovo

EUR 45,44
Convertire valuta
Spese di spedizione: GRATIS
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Hanus, Michael
ISBN 10: 3540696083 ISBN 13: 9783540696087
Nuovo Brossura
Print on Demand

Da: moluna, Greven, Germania

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

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

Contatta il venditore

Compra nuovo

EUR 52,67
Convertire valuta
Spese di spedizione: EUR 9,70
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Editore: Springer, 2006
ISBN 10: 3540696083 ISBN 13: 9783540696087
Nuovo Brossura

Da: Books Puddle, New York, NY, U.S.A.

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. pp. 352. Codice articolo 26301824

Contatta il venditore

Compra nuovo

EUR 54,94
Convertire valuta
Spese di spedizione: EUR 7,88
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Editore: Springer, 2006
ISBN 10: 3540696083 ISBN 13: 9783540696087
Nuovo Brossura

Da: Majestic Books, Hounslow, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. pp. 352 Illus. Codice articolo 7546079

Contatta il venditore

Compra nuovo

EUR 53,65
Convertire valuta
Spese di spedizione: EUR 10,50
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Hanus Michael
Editore: Springer, 2006
ISBN 10: 3540696083 ISBN 13: 9783540696087
Nuovo Brossura

Da: Biblios, Frankfurt am main, HESSE, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. pp. 352. Codice articolo 18301834

Contatta il venditore

Compra nuovo

EUR 56,28
Convertire valuta
Spese di spedizione: EUR 7,95
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Michael Hanus
ISBN 10: 3540696083 ISBN 13: 9783540696087
Nuovo Taschenbuch
Print on Demand

Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

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

Contatta il venditore

Compra nuovo

EUR 53,49
Convertire valuta
Spese di spedizione: EUR 11,00
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Foto dell'editore

Editore: Springer, 2006
ISBN 10: 3540696083 ISBN 13: 9783540696087
Nuovo Brossura

Da: Ria Christie Collections, Uxbridge, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. In. Codice articolo ria9783540696087_new

Contatta il venditore

Compra nuovo

EUR 62,09
Convertire valuta
Spese di spedizione: EUR 10,66
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Michael Hanus
ISBN 10: 3540696083 ISBN 13: 9783540696087
Nuovo Taschenbuch

Da: AHA-BUCH GmbH, Einbeck, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

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

Contatta il venditore

Compra nuovo

EUR 58,56
Convertire valuta
Spese di spedizione: EUR 14,99
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Foto dell'editore

Michael Hanus
Editore: Springer Verlag, 2007
ISBN 10: 3540696083 ISBN 13: 9783540696087
Nuovo Paperback

Da: Revaluation Books, Exeter, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: Brand New. 1st edition. 334 pages. 9.25x6.75x0.50 inches. In Stock. Codice articolo x-3540696083

Contatta il venditore

Compra nuovo

EUR 80,82
Convertire valuta
Spese di spedizione: EUR 11,86
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Vedi altre 3 copie di questo libro

Vedi tutti i risultati per questo libro