Kevin Hammond - Böcker
Visar alla böcker från författaren Kevin Hammond. Handla med fri frakt och snabb leverans.
6 produkter
6 produkter
510 kr
Tillfälligt slut
This book brings together leading researchers and practitioners in the field of functional programming. The work presented here covers many aspects of the field, including:language design proof and transformationsemantics and modelsimplementationtype systemsparallelism and distributionperformance modelling and profilingprogramming methodologiesThe Editors introduce a wide-ranging set of articles, arranged by general subject area. Short overviews bring strong thematic links between individual articles, including:applicationsimplementation techniquesparallel systems and programmingmemory architecturestype systemsThe articles themselves are drawn from the series of Scottish Functional Programming Workshops. Central Scotland has been highly influential in the development of functional programming with notable contributions that include the design, implementation and use of the SASL, Standard ML and Haskell languages. The Workshops provide an international forum, linking a vibrant Scottish core with the wider community. As a product of this forum, the book brings a broad perspective on current research trends and practice in the field.
1 095 kr
Skickas inom 10-15 vardagar
This is a survey of research trends in parallel functional programming. The text is divided into two sections: the first section gives comprehensive introductions to key issues such as: foundations, programming constructs, proof, architectures, and implementations; the second comprises shorter summaries of research areas which are either of particular interest at the moment, or which promise to provide key developments in the near future. Topics covered here include: coordination languages, performance monitoring data flow programming explicit parallelism BSP and cost modelling. Contributions have been commissioned by key researchers and practitioners in the area, including several from the US and Canada where this is an area of increasing interest.
Functional Programming, Glasgow 1993
Proceedings of the 1993 Glasgow Workshop on Functional Programming, Ayr, Scotland, 5–7 July 1993
Häftad, Engelska, 1994
551 kr
Skickas inom 10-15 vardagar
The Glasgow Functional Programming Workshops have been held annually since 1988, and provide an invaluable opportunity for the discussion of unresolved research issues, and for the presentation of current results. This volume is based on the proceedings of the 1993 workshop, which was held in Ayr, Scotland, from 5 - 7 July 1993. The papers cover the spectrum of functional programming research, including implementation, performance, parallelism, algorithms, and semantics. They reflect the current trend towards emphasis on practical issues, and also give several examples of how theoretical research can be successfully applied to practical programming. Among the actual topics covered are: projection-based termination analysis; deterministic concurrency; using strictness in the STG machine; distributed garbage collection of cyclic structures; bidirectional fold and scan; separating interaction; time profiling a lazy functional compiler; and solving recursive domain equations by term rewriting.
Functional Programming, Glasgow 1994
Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12–14 September 1994
Häftad, Engelska, 1995
1 095 kr
Skickas inom 10-15 vardagar
The Glasgow Functional Programming Group is the largest research centre of its kind in the UK, and its work has attained international recognition. This volume contains papers presented at the seventh workshop, which was held in Ayr, Scotland, from 12-14 September 1994. The papers include new research results, ranging from theoretical work in bisimilarity and computer algebra to practical work on a cervical smear scanning system written in a purely functional language. A significant number of papers also cover concurrency, parallelism, and compilation techniques for functional languages.
Implementation of Functional Languages
9th International Workshop, IFL'97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected Papers
Häftad, Engelska, 1998
551 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Implementation of Functional Languages, IFL'97, held in St. Andrews, Scotland, UK, in September 1997.The 21 revised full papers presented were selected from the 34 papers accepted for presentation at the workshop during a second round of thorough a-posteriori reviewing. The book is divided in sections on compilation, types, benchmarking and profiling, parallelism, interaction, language design, and garbage collection.
Implementation of Functional Languages
10th International Workshop, IFL'98, London, UK, September 9-11, 1998, Selected Papers
Häftad, Engelska, 1999
551 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on the Implementation of Functional Languages, IFL'98, held in London, UK, in September 1998.The 15 revised full papers presented were carefully selected during two rounds of reviewing. The volume covers a wide range of topics including parallel process organization, parallel profiling, compilation and semantics of parallel systems, programming methodology, interrupt handling, strictness analysis, concurrency and message passing, and inter-language working.