Verified Functional Programming in Agda, Aaron Stump
Автор: Davie Название: Introduction to Functional Programming Systems Using Haskell ISBN: 0521277248 ISBN-13(EAN): 9780521277242 Издательство: Cambridge Academ Рейтинг: Цена: 7445.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: An introduction to functional programming and its associated systems. A unique feature is its use of the language Haskell for teaching both the rudiments and the finer points of the functional technique. It serves as an introduction both to functional programming and Haskell. Especially valuable are the chapters on programming and implementation, along with a large number of exercises.
Автор: S. Doaitse Swierstra; Pedro R. Henriques; Jose N. Название: Advanced Functional Programming ISBN: 3540662413 ISBN-13(EAN): 9783540662419 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text presents seven cross-referenced chapters on topics in the rapidly developing area of functional programming. It is aimed at individual students and programming professionals, as well as small study groups and lecturers who wish to become acquainted with this field.
Описание: This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017. The 12 full papers presented were carefully revised and selected from 20 submissions.
Автор: Jay McCarthy Название: Trends in Functional Programming ISBN: 3642453392 ISBN-13(EAN): 9783642453397 Издательство: Springer Рейтинг: Цена: 6429.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed revised selected papers of the 14th International Symposium on Trends in Functional Programming, TFP 2013, held in Provo, UT, USA in May 2013. They cover topics such as distributed systems, education, functional language implementation, hardware synthesis, static analysis, testing and total programming.
Functional Programming in C++ teaches developers the practical side of functional programming and the tools that C++ provides to develop software in the functional style. This in-depth guide is full of useful diagrams that help you understand FP concepts and begin to think functionally.
Purchase of the print book includes a free eBook in PDF, Kindle, and ePub formats from Manning Publications.
About the Technology
Well-written code is easier to test and reuse, simpler to parallelize, and less error prone. Mastering the functional style of programming can help you tackle the demands of modern apps and will lead to simpler expression of complex program logic, graceful error handling, and elegant concurrency. C++ supports FP with templates, lambdas, and other core language features, along with many parts of the STL.
About the Book
Functional Programming in C++ helps you unleash the functional side of your brain, as you gain a powerful new perspective on C++ coding. You'll discover dozens of examples, diagrams, and illustrations that break down the functional concepts you can apply in C++, including lazy evaluation, function objects and invokables, algebraic data types, and more. As you read, you'll match FP techniques with practical scenarios where they offer the most benefit.
What's inside
Writing safer code with no performance penalties
Explicitly handling errors through the type system
Extending C++ with new control structures
Composing tasks with DSLs
About the Reader
Written for developers with two or more years of experience coding in C++.
About the Author
Ivan Čukic is a core developer at KDE and has been coding in C++ since 1998. He teaches modern C++ and functional programming at the Faculty of Mathematics at the University of Belgrade.
Table of Contents
Introduction to functional programming
Getting started with functional programming
Function objects
Creating new functions from the old ones
Purity: Avoiding mutable state
Lazy evaluation
Ranges
Functional data structures
Algebraic data types and pattern matching
Monads
Template metaprogramming
Functional design for concurrent systems
Testing and debugging
Автор: Stump Aaron Название: Verified Functional Programming in Agda ISBN: 1970001240 ISBN-13(EAN): 9781970001242 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 10352.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional verification of programs, in two styles. In external verification, we write pure functional programs and then write proofs of properties about them. The proofs are separate external artifacts, typically using structural induction. In internal verification, we specify properties of programs through rich types for the programs themselves. This often necessitates including proofs inside code, to show the type checker that the specified properties hold. The power to prove properties of programs in these two styles is a profound addition to the practice of programming, giving programmers the power to guarantee the absence of bugs, and thus improve the quality of software more than previously possible. Verified Functional Programming in Agda is the first book to provide a systematic exposition of external and internal verification in Agda, suitable for undergraduate students of Computer Science. No familiarity with functional programming or computer-checked proofs is presupposed. The book begins with an introduction to functional programming through familiar examples like booleans, natural numbers, and lists, and techniques for external verification. Internal verification is considered through the examples of vectors, binary search trees, and Braun trees. More advanced material on type-level computation, explicit reasoning about termination, and normalization by evaluation is also included. The book also includes a medium-sized case study on Huffman encoding and decoding. Exercises are provided at the end of each chapter.
Автор: Ernie Cohen; Andrey Rybalchenko Название: Verified Software: Theorie, Tools, Experiments ISBN: 3642541070 ISBN-13(EAN): 9783642541070 Издательство: Springer Рейтинг: Цена: 7547.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013.
Автор: Natarajan Shankar; Jim Woodcock Название: Verified Software: Theories, Tools, Experiments ISBN: 3540878726 ISBN-13(EAN): 9783540878728 Издательство: Springer Рейтинг: Цена: 8384.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008. This book includes the sharing and interoperability of tools, the alignment of theory and practice, and the identification of challenge problems.
Автор: Dimitra Giannakopoulou; Daniel Kroening Название: Verified Software: Theories, Tools and Experiments ISBN: 3319121537 ISBN-13(EAN): 9783319121536 Издательство: Springer Рейтинг: Цена: 6708.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification.
Автор: Blazy Название: Verified Software. Theories, Tools, and Experiments ISBN: 3319488686 ISBN-13(EAN): 9783319488684 Издательство: Springer Рейтинг: Цена: 6988.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada.
Автор: Bird Название: Thinking Functionally with Haskell ISBN: 1107087201 ISBN-13(EAN): 9781107087200 Издательство: Cambridge Academ Рейтинг: Цена: 17424.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Designed to fit a first- or second-year undergraduate course, this is a thorough overhaul and replacement of Richard Bird`s earlier textbooks. It includes a fresh set of case studies and over 100 exercises with fully worked solutions. The author`s emphasis remains on fundamental techniques for reasoning mathematically about functional programs.
Автор: Arie Gurfinkel; Sanjit A. Seshia Название: Verified Software: Theories, Tools, and Experiments ISBN: 3319296124 ISBN-13(EAN): 9783319296128 Издательство: Springer Рейтинг: Цена: 6988.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
