Articles liés à Implementation and Application of Functional Languages:...

Implementation and Application of Functional Languages: 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers - Couverture souple

 
9783642344084: Implementation and Application of Functional Languages: 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

Functional Instrumentation of ActionScript Programs with Asil.- Fairness for Transactional Events.- Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell.- Challenges for a Trace-Based Just-In-Time Compiler for Haskell.- Lazy Generation of Canonical Test Programs.- Generic Monadic Constructs for Embedded Languages.- From Stack Traces to Lazy Rewriting Sequences.- Model Based Testing with Logical Properties versus State Machines.- Property-Based Testing and Verification: A Catalog of Classroom Examples.- Describing and Optimising Reversible Logic Using a Functional Language.- Hardware Design with Generalized Arrows.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

(Aucun exemplaire disponible)

Chercher:



Créez une demande

Vous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !

Créez une demande

Autres éditions populaires du même titre

9783642344060: Implementation and Application of Functional Languages: 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers

Edition présentée

ISBN 10 :  3642344062 ISBN 13 :  9783642344060
Editeur : Springer, 2012
Couverture souple