Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008683111/catalog> ?p ?o. }

• catalog abstract "The International Workshops on Implementation of Functional Languages (IFL) are a tradition that has lasted for over a decade. The aim of these workshops is to bring together researchers to discuss new results and new directions of research related primarily but not exclusively to the implementation of fu- tional or function–based languages. A not necessarily exhaustive list of topics includes: language concepts, type checking, compilation techniques, (abstract) interpretation, automatic program generation, (abstract) machine architectures, arrayprocessing,concurrent/parallelprogrammingandprogramexecution,heap management, runtime pro?ling and performance measurements, debugging and tracing, tools and programming techniques. IFL 2000 was held at Schloß Rahe, an 18th century castle in Aachen, G- many, during the ?rst week of September 2000. It attracted 49 researchers from the international functional language community, presenting 33 contributions during the four days of the workshop. The contributions covered all topics m- tioned above. In addition, a special session organised by Thomas Arts from the Ericsson Computer Science Laboratory in Stockholm, Sweden, attracted several prac- tioners from industry who reported on their experiences using the functional language Erlang. The Erlang session was sponsored by Ericsson Computer S- ence Laboratory. This year, the workshop was sponsored by local industry (Ericsson Eurolab DeutschlandGmbHanddebisSystemhausAachen),whichindicatesthegrowing importanceoffunctionallanguageconceptsincommercialspheres.Wethankour sponsors for their generous contributions.".
• catalog contributor b12164486.
• catalog contributor b12164487.
• catalog contributor b12164488.
• catalog created "2001.".
• catalog date "2001".
• catalog date "2001.".
• catalog dateCopyrighted "2001.".
• catalog description "Includes bibliographical references and index.".
• catalog description "Non-determinism analysis in a parallel-functional language / Ricardo Pena and Clara Segura -- Exploiting Implicit Parallelism in Functional Programs with SLAM / John Sargeant, Chris Kirkham, and Ian Watson -- Verifying generic erlang client-server implementations / Thomas Arts and Thomas Noll -- The design and implementation of Glasgow distributed Haskell / R.F. Pointon, P.W. Trinder, and H-W. Loidl -- Implementation skeletons in eden / Ulrike Klusik [and others] -- ObjectCurry / Michael Hanus, Frank Huch, and Philipp Niederau -- Distributed programming in Haskell with Ports / Frank Huch and Ulrich Norbisrath -- The dynamic properties of Hume / Kevin Hammond -- A usage analysis with bounded usage polymorphism and subtyping / Jörgen Gustavsson and Josef Svenningsson -- Polygonizing implicit surfaces in a purely functional way / Thorsten H.-G. Zorner [and others] -- Freja, hat and hood / Olaf Chitil, Colin Runciman, and Malcolm Wallace -- Porting the clean object I/O library to Haskell / Peter Achten and Simon Peyton Jones -- Organizing speculative computations in functional systems / Raimund Schroeder and Werner Kluge -- Improving cache effectiveness through array data layout manipulation in SAC / Clemens Grelck -- The collective semantics in functional SPMD programming / John O'Donnell.".
• catalog description "The International Workshops on Implementation of Functional Languages (IFL) are a tradition that has lasted for over a decade. The aim of these workshops is to bring together researchers to discuss new results and new directions of research related primarily but not exclusively to the implementation of fu- tional or function–based languages. A not necessarily exhaustive list of topics includes: language concepts, type checking, compilation techniques, (abstract) interpretation, automatic program generation, (abstract) machine architectures, arrayprocessing,concurrent/parallelprogrammingandprogramexecution,heap management, runtime pro?ling and performance measurements, debugging and tracing, tools and programming techniques. IFL 2000 was held at Schloß Rahe, an 18th century castle in Aachen, G- many, during the ?rst week of September 2000. It attracted 49 researchers from the international functional language community, presenting 33 contributions during the four days of the workshop. The contributions covered all topics m- tioned above. In addition, a special session organised by Thomas Arts from the Ericsson Computer Science Laboratory in Stockholm, Sweden, attracted several prac- tioners from industry who reported on their experiences using the functional language Erlang. The Erlang session was sponsored by Ericsson Computer S- ence Laboratory. This year, the workshop was sponsored by local industry (Ericsson Eurolab DeutschlandGmbHanddebisSystemhausAachen),whichindicatesthegrowing importanceoffunctionallanguageconceptsincommercialspheres.Wethankour sponsors for their generous contributions.".
• catalog extent "viii, 265 p. :".
• catalog identifier "3540419195 (pbk. alk. paper)".
• catalog isPartOf "Lecture notes in computer science ; 2011".
• catalog issued "2001".
• catalog issued "2001.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer,".
• catalog subject "005.13 21".
• catalog subject "Computer science.".
• catalog subject "Functional programming languages Congresses.".
• catalog subject "Logic design.".
• catalog subject "QA76.62 .I56 2000".
• catalog tableOfContents "Non-determinism analysis in a parallel-functional language / Ricardo Pena and Clara Segura -- Exploiting Implicit Parallelism in Functional Programs with SLAM / John Sargeant, Chris Kirkham, and Ian Watson -- Verifying generic erlang client-server implementations / Thomas Arts and Thomas Noll -- The design and implementation of Glasgow distributed Haskell / R.F. Pointon, P.W. Trinder, and H-W. Loidl -- Implementation skeletons in eden / Ulrike Klusik [and others] -- ObjectCurry / Michael Hanus, Frank Huch, and Philipp Niederau -- Distributed programming in Haskell with Ports / Frank Huch and Ulrich Norbisrath -- The dynamic properties of Hume / Kevin Hammond -- A usage analysis with bounded usage polymorphism and subtyping / Jörgen Gustavsson and Josef Svenningsson -- Polygonizing implicit surfaces in a purely functional way / Thorsten H.-G. Zorner [and others] -- Freja, hat and hood / Olaf Chitil, Colin Runciman, and Malcolm Wallace -- Porting the clean object I/O library to Haskell / Peter Achten and Simon Peyton Jones -- Organizing speculative computations in functional systems / Raimund Schroeder and Werner Kluge -- Improving cache effectiveness through array data layout manipulation in SAC / Clemens Grelck -- The collective semantics in functional SPMD programming / John O'Donnell.".
• catalog title "Implementation of functional languages : 12th international workshop, IFL 2000, Aachen, Germany, September 4-7, 2000 : selected papers / Markus Mohnen, Pieter Koopman (eds.).".
• catalog type "Aachen (2000) swd".
• catalog type "Conference proceedings. fast".
• catalog type "text".