A Discipline of Programming

Author: Edsger Wybe Dijkstra

Publisher: Prentice Hall

ISBN: N.A

Category: Computers

Page: 217

View: 5582

DOWNLOAD NOW »

Executional abstraction; The role of programming languages; States and their characterization; The characterization of semantics; The semantic characterization of a programming language; Two theorems; On the design of properly terminating; Euclid's algorithm revisited; The formal treatment of some small examples; The linear search theorem; The problem of the next permutation.
Release

A Discipline of Multiprogramming

Programming Theory for Distributed Applications

Author: Jayadev Misra

Publisher: Springer Science & Business Media

ISBN: 144198528X

Category: Computers

Page: 420

View: 5268

DOWNLOAD NOW »

In this book, a programming model is developed that addresses the fundamental issues of 'large-scale programming'. The approach unifies several concepts from database theory, object-oriented programming and designs of reactive systems. The model and the associated theory has been christened "Seuss." The major goal of Seuss is to simplify multiprogramming. To this end, the concern of concurrent implementation is separated from the core program design problem. A program execution is understood as a single thread of control - sequential executions of actions that are chosen according to some scheduling policy. As a consequence, it is possible to reason about the properties of a program from its single execution thread.
Release

Structured Design

Fundamentals of a Discipline of Computer Program and Systems Design

Author: Edward Yourdon,Larry L. Constantine

Publisher: N.A

ISBN: N.A

Category: Computers

Page: 473

View: 7125

DOWNLOAD NOW »

A valuable new approach to computer systems and program design, structured design is quickly becoming the standard industrial technique for significantly improving productivity, enhancing reliability, and lowering maintenance costs.
Release

A Discipline of Software Engineering

Author: B. Walraet

Publisher: Elsevier

ISBN: 1483294218

Category: Computers

Page: 505

View: 1541

DOWNLOAD NOW »

This comprehensive approach to the creation of software systems charts a road through system modelling techniques, allowing software engineers to create software meeting two very basic requirements: • that the software system represent a narrow emulation of the organization system that served as its model; • and that the software system display life attributes identical to those of the organization system that it automatizes. The result is a quantum leap increase in software application quality. Such benefit is achieved by the introduction of a fundamental paradigm: the office-floor metaphor which incorporates such well-balanced basic ideas as the functional normalization of tasks and information (in sharp contrast to the classic data normalization) and the principle of tenant-ownership.
Release

A to Z of Computer Scientists

Author: Harry Henderson

Publisher: Infobase Publishing

ISBN: 1438109180

Category: Computer scientists

Page: 321

View: 4291

DOWNLOAD NOW »

Profiles more than 100 scientists from around the world who made important contributions to the study of computer science, including Howard Aiken, Steve Case, Steve Jobs, and Ted Nelson.
Release

The Science of Programming

Author: David Gries

Publisher: Springer

ISBN: 0387964800

Category: Computers

Page: 388

View: 2602

DOWNLOAD NOW »

Describes basic programming principles and their step-by- step applications.Numerous examples are included.
Release

Beauty Is Our Business

A Birthday Salute to Edsger W. Dijkstra

Author: W.H.J. Feijen,Edsger W. Dijkstra,David Gries,A.J.M. van Gasteren,J. Misra

Publisher: Springer Science & Business Media

ISBN: 9780387972992

Category: Computers

Page: 453

View: 4733

DOWNLOAD NOW »

A collection of contributions on programming theory in computer science and mathematics, celebrating the work of Edsger W. Dijkstra.
Release

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures

Author: Roland Backhouse,Roy Crole,Jeremy Gibbons

Publisher: Springer Science & Business Media

ISBN: 3540436138

Category: Computers

Page: 390

View: 2730

DOWNLOAD NOW »

Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program construction exploits insights from abstract algebraic tools such as lattice theory, fixpoint calculus, universal algebra, category theory, and allegory theory. This textbook-like tutorial presents, besides an introduction, eight coherently written chapters by leading authorities on ordered sets and complete lattices, algebras and coalgebras, Galois connections and fixed point calculus, calculating functional programs, algebra of program termination, exercises in coalgebraic specification, algebraic methods for optimization problems, and temporal algebra.
Release

Semantics of Programming Languages

Structures and Techniques

Author: Carl A. Gunter

Publisher: MIT Press

ISBN: 9780262570954

Category: Computers

Page: 441

View: 727

DOWNLOAD NOW »

Semantics of Programming Languages exposes the basic motivations and philosophy underlying the applications of semantic techniques in computer science. It introduces the mathematical theory of programming languages with an emphasis on higher-order functions and type systems. Designed as a text for upper-level and graduate-level students, the mathematically sophisticated approach will also prove useful to professionals who want an easily referenced description of fundamental results and calculi.Basic connections between computational behavior, denotational semantics, and the equational logic of functional programs are thoroughly and rigorously developed. Topics covered include models of types, operational semantics, category theory, domain theory, fixed point (denotational). semantics, full abstraction and other semantic correspondence criteria, types and evaluation, type checking and inference, parametric polymorphism, and subtyping. All topics are treated clearly and in depth, with complete proofs for the major results and numerous exercises.
Release

Unifying Theories of Programming

First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers

Author: Steve Dunne

Publisher: Springer Science & Business Media

ISBN: 354034750X

Category: Computers

Page: 256

View: 328

DOWNLOAD NOW »

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Unifying Theories of Programming, UTP 2006, held at Walworth Castle, County Durham, UK, in February 2006. The book presents 14 revised full papers. Based on the pioneering work on unifying theories of programming by Tony Haare and Jifeng He, UTP 2006 focused on the most significant results and raised awareness of the benefits of unifying theoretical frameworks.
Release