ISI Technical Reports

This section contains all Technical Reports published by ISI over the past several decades. The search box below enables searches by report titles, authors and report numbers. Technical Reports written by ISI researchers, but not published by ISI, may be available through the author’s individual website.

Journal articles and other publications can be found here.

Automatic Program Verification I: A Logical Basis --- Its implementation, In ACTA INFORMATICA 4, 145-182 (1975)
I. , S. , L. , R. , L. , and D.
RR-73-11
January, 1975

Bananard Reference Manual
Y. and M.
TM-75-2
January, 1975

An Interactive Program Verification System
G. , D. , B. , W. , L. , and R.
RR-74-22
October, 1974

A Methodology for Selecting and Refining Man-Computer Languages to Improve User's Performance
H. and J.
RR-74-21
September, 1974

A Command Language Processor for Flexible Interface Design
A. and R.
RR-74-24
September, 1974

A Research Program in the Field of Computer Technology, Annual Technical Report, May 1973 - May 1974I. S. I. Staff
SR-74-2
May, 1974

Language-Independent Programmer's Interface
Balzer, R.M.
RR-73-15
March, 1974

Domain-Independent Automatic Programming
G. , N. , K. , M. , M. , W. , R. , and W.
RR-73-14
March, 1974

Human Use of World Knowledge
Balzer, R.M.
RR-73-7
March, 1974

PRIM OverviewL. C. Richardson
RR-74-19
February, 1974