Section I the common programming language effort of the department of defense -- Section II data types -- Section III parallel processing, machine dependency and program verification -- Section IV programming language specifications, optimization and run-time support systems -- A note on "pointers" -- Some issues in data types and type checking -- Models of data objects and data types -- Encapsulated data types and generic procedures -- Run-time checking of data access in pascal-like languages -- A language design for structured concurrency -- Language features for parallel processing and resource control -- Separate definition and compilation in lis and its implementation -- Requirements for real-time languages -- Remarks on the impact of program verification on language design -- Target computer independent optimization procedures for metacompilers -- The need for optimization standards -- A reminder for language designers -- The tinman and communications applications -- Programming language design issues -- Parallel processing and modular software construction -- After-dinner speech -- Tinman needed characteristics.