2007, ISBN: 3540741291
[EAN: 9783540741299], Neubuch, [PU: Springer Berlin Heidelberg], PROGRAMMIEREN (EDV) FUNKTIONAL COMPILER ÃœBERSETZER PROGRAMMIERSPRACHEN INFORMATIK EDV DEBUGGING HASKELL PROGRAMMING ML FU… Plus…
AbeBooks.de moluna, Greven, Germany [73551232] [Rating: 4 (von 5)] NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) Details... |
ISBN: 9783540741299
This volume constitutes the post-proceedings of the 18th International Workshop on Implementation and Applications of Functional Languages. Fifteen full papers are presented. Each one was… Plus…
Indigo.ca new in stock. Frais d'envoizzgl. Versandkosten., Livraison non-comprise Details... |
2007, ISBN: 9783540741299
Edition reliée
[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Presents the post-proceed… Plus…
booklooker.de |
Implementation and Application of Functional Languages: 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers - Livres de poche
2006, ISBN: 9783540741299
Paperback / softback. New. This volume constitutes the post-proceedings of the 18th International Workshop on Implementation and Applications of Functional Languages. Fifteen full papers… Plus…
Biblio.co.uk |
Implementation And Application Of Functional Languages: 18th International Symposium, Ifl 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers - livre d'occasion
2006, ISBN: 9783540741299
Livre, [PU: Springer, Berlin/Heidelberg]
Rakuten.fr |
2007, ISBN: 3540741291
[EAN: 9783540741299], Neubuch, [PU: Springer Berlin Heidelberg], PROGRAMMIEREN (EDV) FUNKTIONAL COMPILER ÃœBERSETZER PROGRAMMIERSPRACHEN INFORMATIK EDV DEBUGGING HASKELL PROGRAMMING ML FU… Plus…
ISBN: 9783540741299
This volume constitutes the post-proceedings of the 18th International Workshop on Implementation and Applications of Functional Languages. Fifteen full papers are presented. Each one was… Plus…
2007
ISBN: 9783540741299
Edition reliée
[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Presents the post-proceed… Plus…
Implementation and Application of Functional Languages: 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers - Livres de poche
2006, ISBN: 9783540741299
Paperback / softback. New. This volume constitutes the post-proceedings of the 18th International Workshop on Implementation and Applications of Functional Languages. Fifteen full papers… Plus…
Données bibliographiques du meilleur livre correspondant
Auteur: | |
Titre: | |
ISBN: |
Informations détaillées sur le livre - Implementation and Application of Functional Languages by Viktória Zs Paperback | Indigo Chapters
EAN (ISBN-13): 9783540741299
ISBN (ISBN-10): 3540741291
Version reliée
Livre de poche
Date de parution: 2006
Editeur: Viktória Zs
Livre dans la base de données depuis 2007-10-25T17:22:44+02:00 (Paris)
Page de détail modifiée en dernier sur 2023-08-21T16:33:23+02:00 (Paris)
ISBN/EAN: 9783540741299
ISBN - Autres types d'écriture:
3-540-74129-1, 978-3-540-74129-9
Autres types d'écriture et termes associés:
Auteur du livre: zoltan, butterfield, zsok, horvath, viktoria, international, horvàth, budapest
Titre du livre: september september, hungary, computer science, symposium, selected papers, implementation application functional languages, greetings from old budapest
Données de l'éditeur
Auteur: Viktória Zsók; Andrew Butterfield
Titre: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Implementation and Application of Functional Languages - 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers
Editeur: Springer; Springer Berlin
272 Pages
Date de parution: 2007-08-23
Berlin; Heidelberg; DE
Langue: Anglais
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
X, 272 p.
BC; Hardcover, Softcover / Informatik, EDV/Programmiersprachen; Compiler und Übersetzer; Verstehen; Sprache, Linguistik; Debugging; Haskell; Haskell programming; ML programming; function-based programming; functional logic computation; functional progamming languages; functional programming; functional theorem proving; graph rewriting; logic; mathematical semantics; parallel functional programming; programming; verification; Compilers and Interpreters; Programming Techniques; Computer Science Logic and Foundations of Programming; Computerprogrammierung und Softwareentwicklung; Theoretische Informatik; EA
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.Autres livres qui pourraient ressembler au livre recherché:
Dernier livre similaire:
9783540320388 Implementation and Application of Functional Languages (50-99.99)
- 9783540320388 Implementation and Application of Functional Languages (50-99.99)
- 9783540741305 Implementation and Application of Functional Languages (Viktória Zsók; Andrew Butterfield)
- 9783540691754 Implementation and Application of Functional Languages als eBook Download von (Hidefumi Sawai)
- 9783540260943 Implementation and Application of Functional Languages: 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected (Clemens Grelck; Frank Huch; Greg Michaelson; Phil Trinder)
- 9783540691747 Implementation and Application of Functional Languages (Andrew Butterfield; Clemens Grelck; Frank Huch)
< pour archiver...