Articoli correlati a 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 - Brossura

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

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Non riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!

Inserisci un desiderata

Altre edizioni note dello stesso titolo

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

Edizione in evidenza

ISBN 10:  3642344062 ISBN 13:  9783642344060
Casa editrice: Springer, 2012
Brossura