%A Arvind
%A Robert E. Thomas
%T I-structures: an efficient data type for functional programming
%R Report MIT/LCS/TM-178
%I Laboratory for Computer Science,
Massachusetts Institute of Technology
%C Cambridge, Massachusetts
%K MIT LCS
%D September 1980
%P 17
%K applicative languages, asynchrony, dataflow, data structures,
data types, functional semantics, multiple processor systems,
parallelism, storage management

%A David P. Misunas
%T Report on the second workshop
on data flow computer and program organization
%R Report MIT/LCS/TM-136
%I Laboratory for Computer Science,
Massachusetts Institute of Technology
%C Cambridge, Massachusetts
%K MIT LCS
%D June 1979
%P 70

%A Richard M. Karp
%A Christos H. Papadimiotriou
%T On linear characterizations of combinatorial optimization problems
%R Report MIT/LCS/TM-154
%I Laboratory for Computer Science,
Massachusetts Institute of Technology
%C Cambridge, Massachusetts
%K MIT LCS
%D February 1980
%P 17

%A Christos H. Papadimiotriou
%T Worst-case and probabilistic analysis of a geometric location problem
%R Report MIT/LCS/TM-153
%I Laboratory for Computer Science,
Massachusetts Institute of Technology
%C Cambridge, Massachusetts
%K MIT LCS
%D February 1980
%P 21

%A Christos H. Papadimiotriou
%T On the complexity of integer programming
%R Report MIT/LCS/TM-152
%I Laboratory for Computer Science,
Massachusetts Institute of Technology
%C Cambridge, Massachusetts
%K MIT LCS
%D February 1980
%P 6

%A Peter Szolovits
%T Artificial intelligence and clinical problem solving
%R Report MIT/LCS/TM-140
%I Laboratory for Computer Science,
Massachusetts Institute of Technology
%C Cambridge, Massachusetts
%K MIT LCS
%D September 1979
%P 113

%A Michael Hammer
%A Dennis McLeod
%T On database management system architecture
%R Report MIT/LCS/TM-141
%I Laboratory for Computer Science,
Massachusetts Institute of Technology
%C Cambridge, Massachusetts
%K MIT LCS
%D October 1979
%P 39

%A William A. Martin
%T Roles, co-descriptors, and the formal representation
of quantified English expressions
%R Report MIT/LCS/TM-139
%I Laboratory for Computer Science,
Massachusetts Institute of Technology
%C Cambridge, Massachusetts
%K MIT LCS
%D September 1979
%P 75

%A Adi Shamir
%T Factoring numbers in O(log N) arithmetic steps
%R Report MIT/LCS/TM-91
%I Laboratory for Computer Science,
Massachusetts Institute of Technology
%C Cambridge, Massachusetts
%K MIT LCS
%D November 1977
%P 13

%A Jeffrey Jaffe
%T The use of queues in the parallel data flow evaluation
of "if-then-while" programs
%R Report MIT/LCS/TM-104
%I Laboratory for Computer Science,
Massachusetts Institute of Technology
%C Cambridge, Massachusetts
%K MIT LCS
%D May 1978
%P 22

%A Katsuhiko Amikura
%T A logic design for the cell block of a data flow processor
%R Report MIT/LCS/TM-93
%I Laboratory for Computer Science,
Massachusetts Institute of Technology
%C Cambridge, Massachusetts
%K MIT LCS
%D December 1977
%P 103

%A David Harel
%A Albert R. Meyer
%A Vaughan R. Pratt
%T Computability and completeness in logics of programs
%R Report MIT/LCS/TM-97
%I Laboratory for Computer Science,
Massachusetts Institute of Technology
%C Cambridge, Massachusetts
%K MIT LCS
%D February 1978
%P 16

%A Vaughan R. Pratt
%T Applications of modal logic to programming
%R Report MIT/LCS/TM-116
%I Laboratory for Computer Science,
Massachusetts Institute of Technology
%C Cambridge, Massachusetts
%K MIT LCS
%D December 1978
%P 23

%A Vaughan R. Pratt
%T Dynamic algebras and the nature of induction
%R Report MIT/LCS/TM-159
%I Laboratory for Computer Science,
Massachusetts Institute of Technology
%C Cambridge, Massachusetts
%K MIT LCS
%D March 1980
%P 15

%A Albert R. Meyer
%A Karl Winklmann
%T On the expressive power of dynamic logic
%R Report MIT/LCS/TM-157
%I Laboratory for Computer Science,
Massachusetts Institute of Technology
%C Cambridge, Massachusetts
%K MIT LCS
%D February 1980
%P 36

%A Albert R. Meyer
%A Rohit Parikh
%T Definability in dynamic logic
%R Report MIT/LCS/TM-156
%I Laboratory for Computer Science,
Massachusetts Institute of Technology
%C Cambridge, Massachusetts
%K MIT LCS
%D February 1980
%P 15