Implementation and Application of Functional Languages : 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers, edited by Andy Gill, Jurriaan Hage

Resource Information

The instance Implementation and Application of Functional Languages : 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers, edited by Andy Gill, Jurriaan Hage represents a material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries. This resource is a combination of several types including: Instance, Electronic.

Image

http://images.btol.com/ContentCafe/Jacket.aspx?UserID=ebsco-test&Password=ebsco-test&Return=T&Value=9783642344077&Type=L

Label

Implementation and Application of Functional Languages : 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers, edited by Andy Gill, Jurriaan Hage

Title remainder

23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers

Statement of responsibility

edited by Andy Gill, Jurriaan Hage

Instantiates

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

Publication

• Berlin, Heidelberg, Springer Berlin Heidelberg | Imprint | Springer, 2012

Carrier category

online resource

Carrier category code

• cr

Carrier MARC source

rdacarrier

Color

not applicable

Content category

text

Content type code

• txt

Content type MARC source

rdacontent

Contents

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

Control code

826064922

Dimensions

unknown

Extent

1 online resource (x, 181 pages 68 illustrations).

Form of item

online

Isbn

9783642344077

Media category

computer

Media MARC source

rdamedia

Media type code

• c

Other control number

10.1007/978-3-642-34407-7

Record ID

.b130026554

Specific material designation

remote

System control number

(OCoLC)826064922