H. Wössner

M. Griffiths

D. Gries

F.L. Bauer

H. Partsch

E.W. Dijkstra

S.L. Gerhart

J. V. Guttag

J. J. Horning

S. S. Owicki

C. Pair

P. Pepper

M. Wirsing

International Summer School

Program Construction

Cryptology, for millennia a "secret science", is rapidly gaining in practical importance for the protection of communication channels, databases, and software. Beside its role in computerized information systems, cryptology is finding more and more applications inside computer systems and networks, extending to access rights and source file protection. The first part of this book treats secret codes and their uses - cryptography - before moving on to the process of covertly decrypting a secret code - cryptanalysis. Spiced with a wealth of exciting, amusing, and occasionally personal stories from the history of cryptology, and presupposing only elementary mathematical knowledge, this book will also stimulate general readers.

Methods and Maxims of Cryptology

Decrypted Secrets

The title of this book contains the words ALGORITHMIC LANGUAGE, in the singular. This is meant to convey the idea that it deals not so much with the diversity of program ming languages, but rather with their commonalities. The task of formal program develop It allows classifying ment proved to be the ideal frame for demonstrating this unity. concepts and distinguishing fundamental notions from notational features; and it leads immediately to a systematic disposition. This approach is supported by didactic, practical, and theoretical considerations. The clarity of the structure of a programming language de signed according to the principles of program transformation is remarkable. Of course there are various notations for such a language. The notation used in this book is mainly oriented towards ALGOL 68, but is also strongly influenced by PASCAL - it could equally well have been the other way round. In the appendices there are occa sional references to the styles used in ALGOL, PASCAL, LISP, and elsewhere.

Algorithmic Language and Program Development

U. Hill

F.L. DeRemer

J.J. Hornig

C.H. Koster

W.M. McKeeman

P.C. Poole

W.M. Waite

An Advanced Course

Compiler Construction

Peter Pepper

H. Remus

Proceedings of the NATO Advanced Research Workshop on Program Transformation and Programming Environments

Report on a Workshop, Munich, Germany, 12 to 16 September 1983

Program Transformation and Programming Environments

F.L. Bauer

Books

Your next favorite book is out there