Implementation and Application of Functional Languages, Ralf Hinze

Автор: 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.

Автор: Pieter Koopman; Chris Clack
Название: Implementation of Functional Languages
ISBN: 3540678646 ISBN-13(EAN): 9783540678649
Издательство: Springer
Рейтинг:
Цена: 8384.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The papers presented here are organized in sections on applications, compilation techniques, language concepts and parallelism.

Автор: 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.

Автор: Andy Gill; Jurriaan Hage
Название: Implementation and Application of Functional Languages
ISBN: 3642344062 ISBN-13(EAN): 9783642344060
Издательство: Springer
Рейтинг:
Цена: 6429.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Implementation and Application of Functional Languages, IFL 2011, held in Lawrence, Kansas, USA, in October 2011.

Автор: 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.

Автор: Olaf Chitil
Название: Implementation and Application of Functional Languages
ISBN: 3540853723 ISBN-13(EAN): 9783540853725
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed post-proceedings of the 19th International Workshop on Implementation and Applications of Functional Languages, IFL 2007, held in Freiburg, Germany in September 2007. This book contains the papers that address theoretical and methodological issues on functional and function-based languages.

Автор: 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.

Автор: Thomas Arts; Markus Mohnen
Название: Implementation of Functional Languages
ISBN: 3540435379 ISBN-13(EAN): 9783540435372
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the post-proceedings of the 13th International Workshop on the Implementation of Functional Languages held in Sweden in 2001. The 11 full papers cover topics including aspects of implementing and using functional languages, such as type systems, compilation, theorem proving and more.

Автор: Chris Clack; Kevin Hammond; Tony Davie
Название: Implementation of Functional Languages
ISBN: 3540648496 ISBN-13(EAN): 9783540648499
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume constitutes the post-workshop proceedings of a conference on the implemetation of functional languages. The 21 revised papers are divided into sections including: compilation; types; benchmarking and profiling; parallelism; interaction; language design; and garbage collection.

Автор: Werner Kluge
Название: Implementation of Functional Languages
ISBN: 3540632379 ISBN-13(EAN): 9783540632375
Издательство: Springer
Рейтинг:
Цена: 8384.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the refereed post-workshop proceedings of the 8th International Workshop on the Implementation of Functional Languages. Topics covered include: implementational issues of functional languages including parallel implementations, language concepts and design, and type systems.

Автор: Arnaud Carayol; Cyril Nicaud
Название: Implementation and Application of Automata
ISBN: 3319601334 ISBN-13(EAN): 9783319601335
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 22nd International Conference on Implementation and Application of Automata, CIAA 2017,held in Marne-la-Vallee, France, in June 2017. The 17 revised full papers presented were carefully reviewed and selected from 31 submissions.

Автор: Markus Holzer; Martin Kutrib
Название: Implementation and Application of Automata
ISBN: 3319088459 ISBN-13(EAN): 9783319088457
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

FPsolve: A Generic Solver for Fixpoint Equations over Semirings.- Restarting Automata for Picture Languages: A Survey on Recent Developments.- Investigations on Automata and Languages over a Unary Alphabet.- Cellular Automata for Crowd Dynamics.- Counting Equivalent Linear Finite Transducers Using a Canonical Form.- On the Power of One-Way Automata with Quantum and Classical States.- On Comparing Deterministic Finite Automata and the Shuffle of Words.- Minimal Partial Languages and Automata.- Large Aperiodic Semigroups.- On the Square of Regular Languages.- Unary Languages Recognized by Two-Way One-Counter Automata.- A Type System for Weighted Automata and Rational Expressions.- Bounded Prefix-Suffix Duplication.- Recognition of Labeled Multidigraphs by Spanning Tree Automata.- Reset Thresholds of Automata with Two Cycle Lengths.- On the Ambiguity, Finite-Valuedness, and Lossiness Problems in Acceptors and Transducers.- Kleene Closure on Regular and Prefix-Free Languages.- Left is Better than Right for Reducing Nondeterminism of NFAs.- Analytic Functions Computable by Finite State Transducers.- Partial Derivative and Position Bisimilarity Automata.- The Power of Regularity-Preserving Multi Bottom-up Tree Transducers.- Pushdown Machines for Weighted Context-Free Tree Translation.- Weighted Variable Automata over Infinite Alphabets.- Implications of Quantum Automata for Contextuality.- Pairwise Rational Kernels Obtained by Automaton Operations.