Formal Description of Programming Concepts
Formal Description of Programming Concepts

Author: Erich J. Neuhold

Publisher: Amsterdam ; New York : North-Holland Publishing Company

Published: 1978

Total Pages: 680

ISBN-13:

DOWNLOAD EBOOK

This conference was convened "to explicate programming concepts through the development, examination and comparison of various formal models of these concepts" (per the IFIP Working Group 2.2 on Formal Description and Programming Concepts). This collection of 26 papers represents the results of that charge, while the conference itself was characterized by lively discussions and conversations involving all participants, which served to clarify and crystallize critical issues. The editor hopes some of that liveliness will be communicated to the reader.

Programming Concepts and Methods
Programming Concepts and Methods

Author: M. Broy

Publisher: North Holland

Published: 1990

Total Pages: 600

ISBN-13:

DOWNLOAD EBOOK

The papers presented in this book were originally presented at a conference organized jointly by IFIP working groups 2.2 and 2.3. The titles of the groups are Formal Description of Programming Concepts and Programming Methodology respectively. There is no formal division between these two areas. The papers here which relate to fundamental notions and notations reflect current issues in formal (semantic) description. Programming methods use such description languages but are also concerned with methods of developing implementations which can be shown to satisfy their specifications. Members of both working groups have an interest in mechanical support for the task of proving theorems and the book includes several papers relating to such systems or their underlying logical frameworks.