Formal Description of Programming Concepts
Formal Description of Programming Concepts

Author: Erich Neuhold

Publisher: Springer Science & Business Media

Published: 1991-10-04

Total Pages: 532

ISBN-13: 9783540539612

DOWNLOAD EBOOK

In software engineering there is a growing need for formalization as a basis for developing powerful computer assisted methods. This volume contains seven extensive lectures prepared for a series of IFIP seminars on the Formal Description of Programming Concepts. The authors are experts in their fields and have contributed substantially to the state of the art in numerous publications. The lectures cover a wide range in the theoretical foundations of programming and give an up-to-date account of the semantic models and the related tools which have been developed in order to allow a rigorous discussion of the problems met in the construction of correct programs. In particular, methods for the specification and transformation of programs are considered in detail. One lecture is devoted to the formalization of concurrency and distributed systems and reflects their great importance in programming. Further topics are the verification of programs and the use of sophisticated type systems in programming. This compendium on the theoretical foundations of programming is also suitable as a textbook for special seminars on different aspects of this broad subject.

A Linguistic Description and Computer Program for Children's Speech (RLE Linguistics C)
A Linguistic Description and Computer Program for Children's Speech (RLE Linguistics C)

Author: Geoffrey J. Turner

Publisher: Routledge

Published: 2014-01-10

Total Pages: 252

ISBN-13: 1317933109

DOWNLOAD EBOOK

This book presents a framework for the linguistic analysis of speech and a computer program to process the results of this analysis. The model of description for the linguistic analysis is that known as ‘scale-and-category’ grammar. It is particularly suited for a study of how people use their language, and especially for a sociologically-oriented study of linguistic behaviour. By incorporating a concept of ‘delicacy’, it enables the investigator to vary, according to his particular interests, the amount of detail he enters into at various points in the description. The present authors have made use of this facility and discuss the special interests, sociological and psychological, that influenced their choice of detail. The computer program analyzes the grammatical structures written in a linear notation. A second version has been written which allows easy modification to handle a variety of grammatical schemes, and the program has application to the processing of the analysis of sequential behaviour in general, especially where there are complex relations between the units analyzed.

Analysis of Charring Ablation with Description of Associated Computing Program
Analysis of Charring Ablation with Description of Associated Computing Program

Author: Fred W. Matting

Publisher:

Published: 1970

Total Pages: 100

ISBN-13:

DOWNLOAD EBOOK

A general method is presented for solving the problem of heat-shield response in the stagnation region of a charring type ablator. The analysis is actually for the stagnation point of an axisymmetric blunt body, but it is a valid approximate method for calculations in the stagnation region of any arbitrary blunt body. The analysis is applicable to windtunnel or flight conditions, and the heat loadings are either arbitrarily assigned or they are calculated concurrently with the heat-shield response. Surface heating (or cooling) mechanisms accounted for are those due to convection, radiation, homogeneous combustion, heterogeneous combustion, surface material removal by means other than combustion (includes erosion) , and sublimation. Physical and thermodynamic properties of the ablating material are arbitrarily assigned so that calculations can be made for various materials. A typical application of the analysis is given as an illustration. The analysis is machine programmed for numerical solutions usinga finite difference scheme, and a family of computing programs is used. These programs are described and instructions are provided for using them. The programs can be obtained from COSMIC, University of Georgia, Athens, Georgia, 30601.