INFORMATION SYSTEM THEORY PROJECT Volume Ⅱ Collected Research Papers

摘要

This report contains the working papers developed under contract AF30(602)-3324 which was addressed to the development of a coherent mathematical foundation for information systems. Papers include Notes on Compiling Techniques and the TGS Translator Generator System by Thomas E. Cheatham, AMBIT:A programming Lan¬guage for Algebraic Symbol Manipulation and Examples of Symbol Manipulation in the AMBIT Programming Language by Carlos Christiansen, The Syntax of Programming Languages, A Survey, Flowchart Levels, Non-Deterministic Algorithm and several algorithms and proofs of algorithms by Robert Floyd and An Environment for an Operating System by G. F. Leonard and J. R. Goodroe.