Items related to 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 - Softcover

 
9783642344084: Implementation and Application of Functional Languages: 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers
Softcover
ISBN 10: 3642344089 ISBN 13: 9783642344084
Publisher: Springer, 2012

This specific ISBN edition is currently not available.

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.

"synopsis" may belong to another edition of this title.

  • PublisherSpringer
  • Publication date2012
  • ISBN 10 3642344089
  • ISBN 13 9783642344084
  • BindingPaperback
  • LanguageEnglish

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783642344060: Implementation and Application of Functional Languages: 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected ... (Lecture Notes in Computer Science, 7257)

Featured Edition

ISBN 10:  3642344062 ISBN 13:  9783642344060
Publisher: Springer, 2012
Softcover