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.

DARPA Navy CINCPAC Military Message Experiment: SIGMA Message Service Reference Manual Version1.75
R. and J.
TM-78-11
March, 1978

A System for Incrementally Designing and Verifying Programs: Volume 2
M. and M.
RR-77-66
January, 1978

A System for Incrementally Designing and Verifying Programs: Volume 1
M. and M.
RR-77-65
January, 1978

Meta-Evaluation as a Tool for Program Understanding
Balzer, R., Goldman, N., and Wile, D.
RR-78-69
January, 1978

Process Models of Reference in Context
L. and J.
RR-78-72
January, 1978

PRIM System: Tool Builder's Manual: User Reference ManualL. Gallenson, A. Cooperband, and J. Goldberg
TM-78-7
January, 1978

Interactive Compiler Proving Using Hoare Proof Rules
L. and D.
RR-78-70
January, 1978

SIGMA Message Service, Reference Manual
R. and J.
ISI/WP-8
November, 1977

A Proof Rule for Functions
M. and D.
RR-77-62
October, 1977

On the Use of Programming Knowledge to Understand Informal Process Description
Balzer, R.M., Goldman, N., and Wile, D.
RR-77-63
October, 1977