Annual Review in Automatic Programming
International Tracts in Computer Science and Technology and Their Application, Volume 7
- 1 Edición - 1 de enero de 1974
- Última edición
- Editores: Mark I. Halpern, William C. Mcgee, Louis Bolliet
- Idioma: Inglés
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… Leer más
Descripción
Descripción
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.
Índice
Índice
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
Detalles del producto
Detalles del producto
- Edición: 1
- Última edición
- Publicado: 17 de mayo de 2014
- Idioma: Inglés
Ver libro en ScienceDirect
Ver libro en ScienceDirect
Lee Annual Review in Automatic Programming en ScienceDirect