Skip to main content

Annual Review in Automatic Programming

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

  • 1st Edition - January 1, 1974
  • Latest edition
  • Editors: Mark I. Halpern, William C. Mcgee, Louis Bolliet
  • Language: English

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… Read more

Data Mining & ML

Unlock the cutting edge

Up to 20% on trusted resources. Build expertise with data mining, ML methods.

Description

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

  • Edition: 1
  • Latest edition
  • Published: May 17, 2014
  • Language: English

View book on ScienceDirect

Read Annual Review in Automatic Programming on ScienceDirect