A Discipline of Programming

Author: Edsger Wybe Dijkstra
Publisher: Prentice Hall
ISBN: UOM:39015004474899
Release Date: 1976
Genre: Computers

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.

The Science of Programming

Author: David Gries
Publisher: Springer Science & Business Media
ISBN: 9781461259831
Release Date: 2012-12-06
Genre: Computers

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

On a Method of Multiprogramming

Author: Wim Feijen
Publisher: Springer Science & Business Media
ISBN: 9781475731262
Release Date: 2013-06-29
Genre: Computers

Here, the authors propose a method for the formal development of parallel programs - or multiprograms as they prefer to call them. They accomplish this with a minimum of formal gear, i.e. with the predicate calculus and the well- established theory of Owicki and Gries. They show that the Owicki/Gries theory can be effectively put to work for the formal development of multiprograms, regardless of whether these algorithms are distributed or not.

A Discipline of Software Engineering

Author: B. Walraet
Publisher: Elsevier
ISBN: 9781483294216
Release Date: 2014-06-28
Genre: Computers

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.

A Discipline of Multiprogramming

Author: Jayadev Misra
Publisher: Springer Science & Business Media
ISBN: 9781441985286
Release Date: 2012-09-07
Genre: Computers

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.

Structured design

Author: Edward Yourdon
Publisher: Yourdon
ISBN: PSU:000028464792
Release Date: 1978
Genre: Computers

Selected Writings on Computing A personal Perspective

Author: Edsger W. Dijkstra
Publisher: Springer Science & Business Media
ISBN: 9781461256953
Release Date: 2012-12-06
Genre: Computers

Since the summer of 1973, when I became a Burroughs Research Fellow, my life has been very different from what it had been before. The daily routine changed: instead of going to the University each day, where I used to spend most of my time in the company of others, I now went there only one day a week and was most of the time -that is, when not travelling!- alone in my study. In my solitude, mail and the written word in general became more and more important. The circumstance that my employer and I had the Atlantic Ocean between us was a further incentive to keep a fairly complete record of what I was doing. The public part of that output found its place in what became known as "the EWD series", which can be viewed as a form of scientific correspondence, possible since the advent of the copier. (That same copier makes it hard to estimate its actual distribution: I myself made about two dozen copies of my texts, but their recipients were welcome to act as further nodes of the distribution tree. ) The decision to publish a se1ection from the EWD series in book form was at first highly embarrassing, but as the months went by I got used to the idea. As soon as some guiding principles had been adopted -preferably not published elsewhere, as varied and as representative as possible, etc.

Algorithmic Problem Solving

Author: Roland Backhouse
Publisher: John Wiley & Sons
ISBN: 9780470684535
Release Date: 2011-10-24
Genre: Computers

An entertaining and captivating way to learn the fundamentals of using algorithms to solve problems The algorithmic approach to solving problems in computer technology is an essential tool. With this unique book, algorithm guru Roland Backhouse shares his four decades of experience to teach the fundamental principles of using algorithms to solve problems. Using fun and well-known puzzles to gradually introduce different aspects of algorithms in mathematics and computing. Backhouse presents you with a readable, entertaining, and energetic book that will motivate and challenge you to open your mind to the algorithmic nature of problem solving. Provides a novel approach to the mathematics of problem solving focusing on the algorithmic nature of problem solving Uses popular and entertaining puzzles to teach you different aspects of using algorithms to solve mathematical and computing challenges Features a theory section that supports each of the puzzles presented throughout the book Assumes only an elementary understanding of mathematics Let Roland Backhouse and his four decades of experience show you how you can solve challenging problems with algorithms!

Techniques of program structure and design

Author: Edward Yourdon
Publisher: Prentice Hall
ISBN: UOM:39015000479413
Release Date: 1975
Genre: Computers

Provides a practical explanation of modular and structural programming principles and techniques applicable to all major languages.

Systematic Programming

Author: Niklaus Wirth
Publisher: Prentice Hall
ISBN: UOM:39015000485048
Release Date: 1973
Genre: Computer programming

"Offers students the opportunity to master techniques and skills necessary for success in broadcast television, audio and news production ... designed to cover introductory production concepts, this book contains exercises based on specific learning objectives"--P. [4] of cover.

Semiotics of Programming

Author: Kumiko Tanaka-Ishii
Publisher: Cambridge University Press
ISBN: 9780521516556
Release Date: 2010-03-22
Genre: Computers

Considers what computers can and cannot do, analysing how computer sign systems compare to humans through a concept of reflexivity.

Practical Foundations for Programming Languages

Author: Robert Harper
Publisher: Cambridge University Press
ISBN: 9781316654330
Release Date: 2016-04-04
Genre: Computers

This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are precisely defined by their static and dynamic semantics, presenting the essential tools both intuitively and rigorously while relying on only elementary mathematics. These tools are used to analyze and prove properties of languages and provide the framework for combining and comparing language features. The broad range of concepts includes fundamental data types such as sums and products, polymorphic and abstract types, dynamic typing, dynamic dispatch, subtyping and refinement types, symbols and dynamic classification, parallelism and cost semantics, and concurrency and distribution. The methods are directly applicable to language implementation, to the development of logics for reasoning about programs, and to the formal verification language properties such as type safety. This thoroughly revised second edition includes exercises at the end of nearly every chapter and a new chapter on type refinements.