Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers - Gill, Andy; Hage, Jurriaan (Berlin, Heidelberg : Springer Berlin Heidelberg, 2012)
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.
Keywords: Computer science; Computer programming; Software engineering; Programming languages (Electronic computers).; Computer logic; Mathematical logic