Implementation and Application of Functional Languages, Olaf Chitil

Автор: Cousineau/Mauny/Callaway
Название: The Functional Approach to Programming
ISBN: 0521576814 ISBN-13(EAN): 9780521576819
Издательство: Cambridge Academ
Рейтинг:
Цена: 9821.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The authors introduce functional programming via examples and explain what programs compute and how to reason about them. They implement the ideas in Caml and in Standard ML, and give examples of how complex programs can be developed in close agreement with their specifications. Many exercises and examples are included throughout the book; solutions are also available.

Автор: Deschamps
Название: Guide to FPGA Implementation of Arithmetic Functions
ISBN: 9400729863 ISBN-13(EAN): 9789400729865
Издательство: Springer
Рейтинг:
Цена: 27950.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is designed both for FPGA users interested in developing new, specific components - generally for reducing execution times –and IP core designers interested in extending their catalog of specific components.  The main focus is circuit synthesis and the discussion shows, for example, how a given algorithm executing some complex function can be translated to a synthesizable circuit description, as well as which are the best choices the designer can make to reduce the circuit cost, latency, or power consumption.  This is not a book on algorithms.  It is a book that shows how to translate efficiently an algorithm to a circuit, using techniques such as parallelism, pipeline, loop unrolling, and others.  Numerous examples of FPGA implementation are described throughout this book and the circuits are modeled in VHDL. Complete and synthesizable source files are available for download.

Автор: Vikt?ria Zs?k; Andrew Butterfield
Название: Implementation and Application of Functional Languages
ISBN: 3540741291 ISBN-13(EAN): 9783540741299
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the thoroughly refereed post-proceedings of the 18th International Workshop on Implementation and Applications of Functional Languages, IFL 2006, held in Budapest, Hungary, in September 2006. This work contains papers that address various theoretical and methodological issues on functional and function-based languages.

Автор: Clemens Grelck; Frank Huch; Greg Michaelson; Phil
Название: Implementation and Application of Functional Languages
ISBN: 3540260943 ISBN-13(EAN): 9783540260943
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the post-proceedings of the 16th International Workshop on Implementation and Applications of Functional Languages, IFL 2004, held in Lubeck, Germany in September 2004. This book contains papers that address issues on functional and function-based languages, ranging from theoretical and methodological topics to implementation issues.

Автор: Asperti
Название: The Optimal Implementation of Functional Programming Languages
ISBN: 0521621127 ISBN-13(EAN): 9780521621120
Издательство: Cambridge Academ
Рейтинг:
Цена: 12195.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book, the first in the subject, is a comprehensive account of optimal reduction by two of its leading exponents. Practical implementation aspects are fully covered as are its mathematical underpinnings. The book is essentially self-contained, requiring no more than basic familiarity with functional languages. It will be welcomed by graduate students and research workers.

Автор: Han
Название: Implementation and Application of Automata
ISBN: 331940945X ISBN-13(EAN): 9783319409450
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 21st InternationalConference on Implementation and Application of Automata, CIAA 2016,held in Seoul, South Korea, in July 2016. The 26 revised full papers presented were carefully reviewed and selected from49 submissions.

Автор: Sebastian Maneth
Название: Implementation and Application of Automata
ISBN: 3642029787 ISBN-13(EAN): 9783642029783
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 14th International Conference CIAA 2009 Sydney Australia July 1417 2009 Proceedings. .

Автор: Nielson
Название: Two-Level Functional Languages
ISBN: 0521403847 ISBN-13(EAN): 9780521403849
Издательство: Cambridge Academ
Рейтинг:
Цена: 19325.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The authors describe here a framework in which the type notation of functional languages is extended to include a distinguishing notation for run-times and compile-times. Consequently the ability to specify code and verify program correctness can be improved.