Zsók / Butterfield | Implementation and Application of Functional Languages | E-Book | sack.de
E-Book

E-Book, Englisch, Band 4449, 272 Seiten, eBook

Reihe: Lecture Notes in Computer Science

Zsók / Butterfield Implementation and Application of Functional Languages

18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers
2007
ISBN: 978-3-540-74130-5
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers

E-Book, Englisch, Band 4449, 272 Seiten, eBook

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-540-74130-5
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Zsók / Butterfield Implementation and Application of Functional Languages jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Zsók, Viktória
Butterfield, Andrew

Weitere Infos & Material

On Optimising Shape-Generic Array Programs Using Symbolic Structural Information.- Index Vector Elimination – Making Index Vectors Affordable.- Functional–Based Synthesis of a Systolic Array for GCD Computation.- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages.- Parallel Coordination Made Explicit in a Functional Setting.- Low-Level Programming in Hume: An Exploration of the HW-Hume Level.- A Conference Management System Based on the iData Toolkit.- A Pattern Logic for Prompt Lazy Assertions in Haskell.- Ivor, a Proof Engine.- Proving Program Properties Specified with Subtype Marks.- Uniqueness Typing Redefined.- Heuristics for Type Error Discovery and Recovery.- Testing Properties of Generic Functions.- Worst-Case Execution Times for a Purely Functional Language.- Automatic Partial Inversion of Inductively Sequential Functions.

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.