ROBOTICS & AUTOMATION
Empowering Progress
Up to 25% off Essentials Robotics and Automation titles
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