Hans Wolfgang Loidl – författare
Visar alla böcker från författaren Hans Wolfgang Loidl. Handla med fri frakt och snabb leverans.
3 produkter
3 produkter
Häftad, Engelska, 2013
556 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereed revised selected papers of the 13th International Symposium on Trends in Functional Programming, TFP 2012, held in St Andrews, Scotland, UK in June 2012. The 18 revised full papers included in this volume were carefully and selected from 49 submissions and are complemented with an invited paper. They cover various aspects of trends in functional programming.
Inbunden, Engelska, 2000
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 modelsimplementationapplicationstype systemsparallelism and distributionperformance modelling and profilingprogramming methodologiesThe Editors provide a substantial introduction to a wide ranging set of papers, arranged by subject area. Appropriate overviews and summaries bring strong thematic links between chapters and sections covering:Parallel Systems and ProgrammingType SystemsArchitectures and ImplementationsApplicationsTheoryThe articles themselves are drawn from the First Scottish Functional Programming Workshop, held in Stirling in 1999. Central Scotland has been very influential in the development of functional programming, with notable contributions including 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.
Häftad, Engelska, 2013
510 kr
Tillfälligt slut
This book presents latest research developments in the area of functional programming. The contributions, in this volume, cover a wide range of topics from theory, formal aspects of functional programming, graphics and visual programming to distributed computing and compiler design. As is often the case in this community, the most prolific work comes out of the combination of theoretical work with its application on classical problems in computer science. Particular trends in this volume are: reasoning about functional programs; automated theorem proving for high-level programming languages; and, language support for concurrency and distribution. The "TFP" series is dedicated to promoting new research directions related to the field of functional programming and to investigate the relationships of functional programming with other branches of computer science. It is designed to be a platform for novel and upcoming research.