Design and Implementation of Programming Languages, J. H. Williams; D. A. Fisher
Автор: Pierce, Benjamin C. Название: Types and programming languages ISBN: 0262162091 ISBN-13(EAN): 9780262162098 Издательство: MIT Press Рейтинг: Цена: 16083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
A comprehensive introduction to type systems and programming languages.
A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems -- and of programming languages from a type-theoretic perspective -- has important applications in software engineering, language design, high-performance compilers, and security.
This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material.
The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.
Автор: Jan Maluszynski; Martin Wirsing Название: Programming Language Implementation and Logic Programming ISBN: 3540544445 ISBN-13(EAN): 9783540544449 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The aim of the Third International Symposium on Programming Language Implementation and Logic Programming was to explore declarative concepts, methods and techniques relevant for implementation of all kinds of programming languages. Along with the two invited talks, this book also contains 32 papers, and abstracts of several system demonstrations.
Автор: Maurice Bruynooghe; Martin Wirsing Название: Programming Language Implementation and Logic Programming ISBN: 3540558446 ISBN-13(EAN): 9783540558446 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains a series of conference papers which explores new declarative concepts, methods and techniques relevant for the implementation of programming languages. Contributors come from the fields of logic, functional, object-oriented and algebraic programming.
Автор: Pierre Deransart; Jan Maluszynski Название: Programming Language Implementation and Logic Programming ISBN: 354053010X ISBN-13(EAN): 9783540530107 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This collection of papers presented at the PLILIP 90 workshop held in Sweden in August 1990 identify concepts and techniques used both in the implementation of programming languages and logic programming.
Автор: Maurice Bruynooghe; Jaan Penjam Название: Programming Language Implementation and Logic Programming ISBN: 3540571868 ISBN-13(EAN): 9783540571865 Издательство: Springer Рейтинг: Цена: 9083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Part of a series of conferences designed to further research in declarative programming techniques, logic programming and programming language implementation, this volume contains three invited lectures and 24 selected papers on recent developments and future directions.
Автор: Manuel Hermenegildo; Jaan Penjam Название: Programming Language Implementation and Logic Programming ISBN: 3540584021 ISBN-13(EAN): 9783540584025 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming, held in Madrid in September 1994. Among the topics discussed are parallelism, constraint programming, implementation techniques and program analysis.
Описание: For linear optimization models that can be formulated as linear programs with the block-angular structure, i.e. It can also be used as supplemental material in a second course in linear programming, computational mathematical programming, or large-scale systems.
Автор: 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.
Автор: 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.
Автор: 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.
Автор: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
