Recent Trends in Data Type Specification

Recent Trends in Data Type Specification
Author :
Publisher : Springer Science & Business Media
Total Pages : 280
Release :
ISBN-10 : 3540503250
ISBN-13 : 9783540503255
Rating : 4/5 (255 Downloads)

Book Synopsis Recent Trends in Data Type Specification by : Donald Sannella

Download or read book Recent Trends in Data Type Specification written by Donald Sannella and published by Springer Science & Business Media. This book was released on 1988-10-26 with total page 280 pages. Available in PDF, EPUB and Kindle. Book excerpt: The Fifth Workshop on Specification of Abstract Data Types took place 1-4 September 1987 in Gullane, near Edinburgh. This book contains papers based on selected talks presented at the workshop. The algebraic specification of abstract data types has been a flourishing topic in computer science since 1974. The main goal of work in this area is to evolve a methodology to support the design and formal development of reliable software. The particular approach taken builds upon concepts from universal algebra and elementary category theory. The core of this work has now stabilized to a great extent and is mature enough to find application in real-life software engineering and to related topics such as concurrency, databases, and even hardware design. Such applications are becoming more feasible because of the emergence of integrated specification/development environments which include tools such as theorem provers based on fast term rewriting engines. Researchers are also exploring ways of widening the scope of the theory to make it applicable to (for example) higher-order functions and non-deterministic programs. Another trend is toward taking a more general view which allows superficially different approaches having the same general aims and methods to be unified.


Recent Trends in Data Type Specification Related Books

Recent Trends in Data Type Specification
Language: en
Pages: 280
Authors: Donald Sannella
Categories: Computers
Type: BOOK - Published: 1988-10-26 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The Fifth Workshop on Specification of Abstract Data Types took place 1-4 September 1987 in Gullane, near Edinburgh. This book contains papers based on selected
The New Partridge Dictionary of Slang and Unconventional English
Language: en
Pages: 15065
Authors: Tom Dalzell
Categories: Foreign Language Study
Type: BOOK - Published: 2015-06-26 - Publisher: Routledge

DOWNLOAD EBOOK

Booklist Top of the List Reference Source The heir and successor to Eric Partridge's brilliant magnum opus, The Dictionary of Slang and Unconventional English,
Jungle Law
Language: en
Pages: 682
Authors:
Categories: Lawyers
Type: BOOK - Published: 2003 - Publisher:

DOWNLOAD EBOOK

Computerworld
Language: en
Pages: 180
Authors:
Categories:
Type: BOOK - Published: 1994-11-14 - Publisher:

DOWNLOAD EBOOK

For more than 40 years, Computerworld has been the leading source of technology news and information for IT influencers worldwide. Computerworld's award-winning
Life's Rulebook Decoded
Language: en
Pages: 339
Authors: LIANG XIUMEI
Categories: Body, Mind & Spirit
Type: BOOK - Published: 2024-06-26 - Publisher: EWAYBOOK

DOWNLOAD EBOOK

This book explores seven aspects of life: understanding truths, communication, interpersonal relationships, romantic relationships, the workplace, business, and