Limited Offer
Save 50% on book bundles
Immediately download your ebook while waiting for your print delivery. No promo code needed.
Annual Review in Automatic Programming
International Tracts in Computer Science and Technology and Their Application, Volume 7
- 1st Edition - May 17, 2014
- Editors: Mark I. Halpern, William C. Mcgee, Louis Bolliet
- Language: English
- eBook ISBN:9 7 8 - 1 - 4 8 3 1 - 5 3 2 8 - 5
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
Purchase options
Institutional subscription on ScienceDirect
Request a sales quoteComputer 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
- No. of pages: 316
- Language: English
- Edition: 1
- Published: May 17, 2014
- Imprint: Pergamon
- eBook ISBN: 9781483153285
Read Annual Review in Automatic Programming on ScienceDirect