Annual Review in Automatic Programming

Annual Review in Automatic Programming

International Tracts in Computer Science and Technology and Their Application, Volume 7

1st Edition - January 1, 1974

Write a review

  • Editors: Mark I. Halpern, William C. Mcgee, Louis Bolliet
  • eBook ISBN: 9781483153285

Purchase options

Purchase options
DRM-free (PDF)
Sales tax will be calculated at check-out

Institutional Subscription

Free Global Shipping
No minimum order


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.

Table of Contents

  • A Tutorial on Data-Base Organization

    General Concepts of the Simula 67 Programming Language

    Incremental Compilation and Conversational Interpretation

    Dynamic Syntax: A Concept for the Definition of the Syntax of Programming Languages

    An Introduction to ALGOL 68

    A General Purpose Conversational System for Graphical Programming

    Automatic Theorem Proving Based on Resolution

    A Survey of Extensible Programming Languages

    Contents of Previous Volumes

Product details

  • No. of pages: 316
  • Language: English
  • Copyright: © Pergamon 1974
  • Published: January 1, 1974
  • Imprint: Pergamon
  • eBook ISBN: 9781483153285

About the Editors

Mark I. Halpern

William C. Mcgee

Louis Bolliet

Ratings and Reviews

Write a review

There are currently no reviews for "Annual Review in Automatic Programming"