Bibliography on Abstract Data Types PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Bibliography on Abstract Data Types PDF full book. Access full book title Bibliography on Abstract Data Types by B. Kutzler. Download full books in PDF and EPUB format.
Author: B. Kutzler
Publisher: Springer Science & Business Media
ISBN: 3642690327
Category : Computers
Languages : en
Pages : 201
Get Book Here
Book Description
Sponsored by the "Österr. Fonds zur Förderung der Wissenschaftlichen Forschung", project nr. P4567
Author: B. Kutzler
Publisher: Springer Science & Business Media
ISBN: 3642690327
Category : Computers
Languages : en
Pages : 201
Get Book Here
Book Description
Sponsored by the "Österr. Fonds zur Förderung der Wissenschaftlichen Forschung", project nr. P4567
Author: Bernhard Kutzler
Publisher: Springer
ISBN: 9780387123127
Category : Abstract data types (Computer science)
Languages : en
Pages : 0
Get Book Here
Book Description
Author: Michael L. Brodie
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 92
Get Book Here
Book Description
Author: Michael L. Brodie
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 92
Get Book Here
Book Description
Author: Technische Universität Braunschweig (Brunswick, Del.) (336)
Publisher:
ISBN:
Category :
Languages : en
Pages :
Get Book Here
Book Description
Author: Jürgen Uhl
Publisher: Springer Science & Business Media
ISBN: 9783540532293
Category : Computers
Languages : en
Pages : 400
Get Book Here
Book Description
This book presents a comprehensive catalogue of elementary data types like sets, maps, orders, trees and lists, written in Ada. Such data types are often used in systems programming. The major focus is on: - a uniform syntactic and semantic interface for all data types, - many implementation variants per data type, all ac cessible through a single interface, - a hierarchical system of the data types as a basis for data type selection and implementation. Meeting these goals is the main achievement of the book. The combination of efficient applicability and ease of learning and maintenance is achieved by the carefully elaborated interfaces of the catalogue's data types. These interfaces combine abstraction, which is necessary for easy learning and for leaving implementation freedom, and functional completeness, which is an essential prerequisite for high performance in different application contexts. The selection of the right data type implementation for a given context is supported by the data type hierarchy which imposes different abstraction levels, and an orthogonal scheme of implementation variants which can be freely combined. Together with the uniformity of interfaces, the hierarchical composition of the catalogue leads to a small code base, from which different implementation variants are generated using a macro processor.
Author: Rachel Harrison
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 292
Get Book Here
Book Description
A formal, accessible approach to abstract data types, employing the Modula-2 computer language. Chapters follow a common format--the need for a particular abstract data type is considered, followed by the type's properties, the access procedure to manipulate it, the axioms which govern its behavior, and implementations. A wide variety of abstract data types are covered, supported by numerous Modula-2 algorithms. Code is written in a functional, recursive style.
Author: Jacques Loeckx
Publisher: Wiley
ISBN: 9780471950677
Category : Computers
Languages : en
Pages : 272
Get Book Here
Book Description
Specification of Abstract Data Types provides an authoritative introduction to the mathematical foundations of algebraic program specification. Unlike most other publications on the subject, this book does not draw on category theory, but instead tries to demystify the topic and promote its use in practical applications. It clearly distinguishes between the study of algebras, logic, specification methods and specification languages and it avoids focusing on a particular logic or a particular specification method. After an informal discussion on the design of reliable software, the book presents the main notions and properties of algebras. Next it investigates logic, introducing a general notion of logic, encompassing those commonly used. On the basis of these fundamentals it describes in some detail three specification methods and the principles of specification languages. It concludes with a case study illustrating the use of abstract data type specification in software design. While treating the subject with mathematical precision, the book contains numerous examples, exercises and comments to provide a deeper understanding of concepts discussed. It was conceived as a student textbook but will also be a useful source of reference for researchers and developers using formal specification methods for software design.
Author: Michel Bidoit
Publisher: Springer Science & Business Media
ISBN: 9783540540601
Category : Computers
Languages : en
Pages : 116
Get Book Here
Book Description
Methods for the algebraic specification of abstract data types were proposed in the early 1970s in the USA and Canada and became a major research issue in Europe shortly afterwards. Since then the algebraic approach has come to play a central role in research on formal specification and development, as its range of applications was extended to the specification of complete software systems, to the formal description of the program development process, and to the uniform definition of syntax and semantics of programming languages. Today this approach extends beyond just software to the development of integrated hardware and software systems. These flourishing activities in the area of algebraic specifications have led to an abundance of approaches, theories and concepts, which have universal algebra, category theory and logic as a common mathematical basis. This volume is an annotated bibliography which provides an up-to-date overview of past and present work on algebraic specification. No attempt is made to provide a coherent introduction to the topic for beginners; the intention is rather to provide a guide to the current literature for researchers in algebraic specification and neighboring fields. Some indications of how the different approaches are related are included, together with some ideas concerning possible future directions.
Author: Rachel Harrison
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 232
Get Book Here
Book Description
Abstract Data Types in Standard ML Rachel Harrison University of Southampton, UK This book presents a thorough treatment of data abstraction within a functional framework. The approach to abstract data types strikes a balance between the theoretical and the practical, stressing the importance of producing reliable, high quality code which is robust and reusable. Exercises are provided, as well as numerous annotated algorithms in Standard ML. Emphasis is placed on the key concepts of specification, modularity and generality. Each chapter shows how to specify, apply and implement generic abstract data types, and the specifications are used to verify and validate the correctness of the implementations. Students of software engineering will find this book particularly attractive—for courses such as advanced programming, program design, algorithms and data structures, and program specification. It will also serve as a useful post-introductory text for courses on functional programming.
