McCarthy | Trends in Functional Programming | E-Book | sack.de
E-Book

E-Book, Englisch, 169 Seiten, eBook

Reihe: Theoretical Computer Science and General Issues

McCarthy Trends in Functional Programming

14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers
Erscheinungsjahr 2013
ISBN: 978-3-642-45340-3
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers

E-Book, Englisch, 169 Seiten, eBook

Reihe: Theoretical Computer Science and General Issues

ISBN: 978-3-642-45340-3
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

This book constitutes the thoroughly refereed revised selected papers of the 14th International Symposium on Trends in Functional Programming, TFP 2013, held in Provo, UT, USA in May 2013. The 10 revised full papers included in this volume were carefully and selected from 27 submissions. They cover topics such as distributed systems, education, functional language implementation, hardware synthesis, static analysis, testing and total programming.

McCarthy Trends in Functional Programming jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

McCarthy, Jay

Weitere Infos & Material

Total Functional Software Engineering: Overview Paper.- Using Rewriting to Synthesize Functional Languages to Digital Circuits.- Distributed Places.- Bytecode and Memoized Closure Performance.- Towards Efficient Abstractions for Concurrent Consensus.- Blame Prediction.- Model-Based Shrinking for State-Based Testing.- Control-Flow Analysis with SAT Solvers.- A Survey of Polyvariance in Abstract Interpretations.- Functional Video Games in CS1 III: Distributed Programming for Beginners.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.