Annual Review in Automatic Programming
Annual Review in Automatic Programming

Author: Mark I. Halpern

Publisher: Elsevier

Published: 2014-05-17

Total Pages: 317

ISBN-13: 1483153282

DOWNLOAD EBOOK

Computer Science and Technology and their Application is an eight-chapter book that first presents a tutorial on database organization. Subsequent chapters describe the general concepts of Simula 67 programming language; incremental compilation and conversational interpretation; dynamic syntax; the ALGOL 68. Other chapters discuss the general purpose conversational system for graphical programming and automatic theorem proving based on resolution. A survey of extensible programming language is also shown.

Annual Review in Automatic Programming
Annual Review in Automatic Programming

Author: Richard Goodman

Publisher: Elsevier

Published: 2016-07-29

Total Pages: 403

ISBN-13: 1483222829

DOWNLOAD EBOOK

Annual Review in Automatic Programming, Volume 2 is a collection of papers that discusses the controversy about the suitability of COBOL as a common business oriented language, and the development of different common languages for scientific computation. A couple of papers describes the use of the Genie system in numerical calculation and analyzes Mercury autocode in terms of a phrase structure language, such as in the source language, target language, the order structure of ATLAS, and the meta-syntactical language of the assembly program. Other papers explain interference or an "intermediate return" using ALGOL, the National-Elliot 803 Computer, and the MADCAP II. MADCAP II is A version of the automatic programming compiler for MANIAC II. One paper discusses the APT which serves as a common computer language for computational problems. Another paper explains SAKO which can bypass machine language almost entirely in the field of numerical and logical problems, particularly in programs using XYZ and ZAM II. A report of the Working Committee of the British Computer Society Discussion Group No. 5 concludes that COBOL is unnecessarily complex due to its close machine orientation. Computer engineers, computer instructors, programmers, and students of computer science will find the collection highly valuable.

Annual Review in Automatic Programming
Annual Review in Automatic Programming

Author: M. I. Halpern

Publisher: Elsevier

Published: 2014-05-18

Total Pages: 224

ISBN-13: 1483160483

DOWNLOAD EBOOK

Annual Review in Automatic Programming, Volume 9 deals with automatic programming, with emphasis on the programming language ALGOL 68. The book demonstrates the progression in the formal definition of programming languages from ALGOL 60 through to the revised version of ALGOL 68. Other topics range from real-time operating systems and process control languages to data flow analysis, microprocessors, design automation, real-time system specifications, and Fortran real-time programming. After an introduction to the formal definition of ALGOL 68, this volume turns to an operating system which provides for a flexible interface to support a wide spectrum of real-time language facilities. The chapters that follow focus on data flow through the elements of a real time application, the possibilities as well as the problems of future microprocessor applications in real-time systems, and the design goals and main principles of a monitor called SIMON. A language based upon an automaton model is also described, with particular reference to synchronizations between actions and events. In addition, the book presents a pilot study of the possibility to develop an integrated interactive system for computer aided design of control computer systems and considers the industrial real-time BASIC designed for process control. A chapter discussing the unique distributed DDC system developed by Tokyo Gas Company and Hitachi for city gas production plants concludes the book. This book will be of use to students and professionals interested in programming languages.