Clare Martin

An Algebraic Construction of Predicate Transformers

In this paper we present an algebraic construction of the category of monotonic predicate transformers from the category of relations which is similar to the standard algebraic construction of the integers from the natural numbers. The same construction yields the category of relations from the category of total functions. This provides a mechanism through which the rich type structure of the category of total functions can be promoted to successively weaker ones in the categories of relations and predicate transformers. In addition, it has exposed two complete rules for the refinement and composition of specifications in Morgans refinement calculus.

Mastering Microsoft Office

Preface Introduction to Windows and Office Microsoft Word: Getting Started Microsoft Word: More Fundamentals and Printing Microsoft Word: Text Enhancement and Document Layout File Management Microsoft Excel: Getting Started Microsoft Excel: Cell Manipulation and Worksheet Layout Microsoft Excel: Functions and Formulae Microsoft Excel: Charts and Multi-Worksheet Workbooks Introduction to Databases Database Tables Relationships Queries Forms and Reports Introduction to Powerpoint Designing a Presentation Excel Functions Introduction to Outlook Index

Towards a Calculus of Predicate Transformers

The main purpose of this paper is to investigate whether the relationship between the categories of total functions, relations and predicate transformers described in [7] can be used to develop a calculus of predicate transformers for program derivation in the style of [13] directly from the well established calculus of functions [2]. The results are mixed in the sense that although many laws of the functional calculus can be generalised to predicate transformers, they must be weakened in order to do so.

Introduction to PowerPoint

In this chapter you will learn how to create presentations based on predesigned templates in PowerPoint. You will then perform some very simple manipulations on one of the presentations. You will cover the following features of PowerPoint: n n nCreating a presentation with the AutoContent Wizard. n n nSaving. n n nChanging views. n n nPrinting. n n nClosing a presentation. n n nCreating a presentation with a Presentation template. n n nSimple editing. n n nSimple animation.

Introduction to Windows and Office

In this chapter you will learn how to do the following: n n nUnderstand the relationship between Windows, Office, Word, Excel, Access, PowerPoint and files. n n nBecome familiar with the terminology used throughout this book. n n nSwitch on the PC and start Windows. n n nShutdown the PC.

Microsoft Excel — Cell Manipulation and Worksheet Layout

In this chapter you will learn how to carry out the following techniques: n n nCopy your workbook. n n nEdit the contents of a cell. n n nSelect a range of cells. n n nSort a range of cells. n n nCopy, move and clear cell contents. n n nInsert and delete rows and columns. n n nAlign and format text. n n nChange column and row width. n n nUse AutoFormat to enhance the worksheet. n n nDefine the page layout.

Introduction to databases

In this chapter you will create a small database in Access, and perform some simple manipulation on it. You will cover the following features of Access: n n nCreating a database. n n nCreating a table. n n nEntering data. n n nSorting. n n nSimple filters. n n nClosing a database.