Annual Review in Automatic Programming
International Tracts in Computer Science and Technology and Their Application, Volume 7
- 1st Edition - May 17, 2014
- 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
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.
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
- Edition: 1
- Latest edition
- Published: May 17, 2014
- Language: English
Read Annual Review in Automatic Programming on ScienceDirect