RT Book, Whole DB /z-wcorg/ DS http://worldcat.org ID 227395581 LA English T1 Information system theory project. volume ii. collected research papers. A1 Cheatham, Thomas E., Christensen, Carlos., Floyd, Robert W., Leonard, G. F., Goodroe, J. R., APPLIED DATA RESEARCH INC PRINCETON N J*, PB Defense Technical Information Center PP Ft. Belvoir YR 1965 AB 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 Language for Algebraic Symbol Manipulation and Examples of Symbol Manipulation in the AMBIT Programming Language by Carlos Christianson, The Syntax of Programming Languages, A Survey, Flowchart Levels, NonDeterministic 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. (Author).