-
1.
IPCOM000149215D |
Original Publication Date: 2007-Mar-31
-
2.
MAC TR-134
CSG MEMO- l(1 6
SEMANTICS OF DATA STRUCTURES AND I(EFERENCES
David J. E l l i s
August 1974
This research was supported by the National
Science Foundation under research grant 6,J-34671.
MASSAC'riUSETTS INSTITUTE OF TECHNOLOGY
PROJECT MAC
MASSACHUSETTS 02139
CAMBRIDGE
SEMANTICS OF DATA STRUCTURES...
IPCOM000149213D |
Original Publication Date: 1974-Aug-31
-
3.
Ti SUBGRAPB HOMEOMORPHISM PROBLEM
Andrea Suzanne LaPaugh
Shmitted to the Department of Electrical Engineering and Computer Science on May 31, 1977 in partial fulfillment of the requirements for the Degree of Master of Science
ABSTRACT
The problem investigated in this thesis is that of finding homeomorphic images of...
IPCOM000149212D |
Original Publication Date: 1978-Feb-28
-
4.
B.S., Rensselaer Polytech.nic Institute (1980)
S.M., Massachusetts Institutes of Technology (1982)
Submitted in partial fidfillment of the requirements ofthe degree of
Doctor of Philosophy
a& the
MASSACHUSETTS INSTITUTE OF TECHNOLOGY
January 19881
Massachusetts Institute of Technology 1988
Signature of...
IPCOM000149207D |
Original Publication Date: 1988-Jan-31
-
5.
Multiple Inheritance
in Contemporary Progrismminy Languages
by
Daniel 4. Carnese
September, 1984
Abstract
In one paradigrn of abstract type definition, a separate procedure definition is given for each abstract operatioi'i. This paradigm can be extended by allowing the operation set of a type to be computed from...
IPCOM000149206D |
Original Publication Date: 1984-Sep-30
-
6.
Efficient Denland-driven Evaluation (11)
Keshav Pingali Arvind
19 September 1983
Laboratory for Computer Science
Massachusetts Institute of 'Fechnology CambridgeMassachusetts 027 39
Abstract
In Part I of this paper, we presented a scheme whereby a compiler could propagate
demands through programs in a powerful...
IPCOM000149205D |
Original Publication Date: 1983-Sep-19
-
7.
Junc 1981
Glenn Bulrke
This report describes research done at thc L.aboratcrq for Conlputer Scicncc of the PI.iassachusctts Institute of Technolog!?. Support for this resc;irch was pro~idccl in part by National lr~stitutcs of ltcalth grant numbcr 1 1'41 Ill1 01096-04 from rhc I>ivinion of 12esearch Rcsources, and...
IPCOM000149202D |
Original Publication Date: 1981-Jun-30
-
8.
A, Performance Irnprovisag Synchronisation Mechanism for Distributed Systems
Mukul Kumar Sinha
A new rnechanjsm for the synchronisation of accesses to distributed data objects is developed. This mechanism, called timepad, is an extention to the timestamp synchronisation scheme and it encaches the concurrency...
IPCOM000149201D |
Original Publication Date: 1980-Aug-31
-
9.
A DECIDABILI'TY RESULT FOR A SECOND
ORDER PROCESS L,OGIC
&hit Parikh
MASSACIiLJSETTS INSTITUTE OF TECHNOLOGY LABOMTORY FOR COMP'IJTER SCIENCE
MASSACHUSETTS 02139
CAMBRIDGE
A DECIIDABILI'FY RESULT FOR A SECOND ORDER PROCESS LOGIC.
Rohit PanaikhLsbor~kto~yfor Computer Science, MUI,T., and
Mathematics Department,...
IPCOM000149197D |
Original Publication Date: 1978-Jul-31
-
10.
SECURITY CLASSIFiCATiON OF THIS PAGE (man Dola Enleesd)
Initial Report on a Lisp Programmer's Technical Report
9. PERFORMING ORGANIZATION NAME AND ADDRESS 10. PROGPAM ELEMENT, PROJECT, TASK AREA 8, WORK UNIT NUMBERS
Artificial intelligence Laboratory
545 Technology Square Cambridge, Massachusetts 02139
Advanced...
IPCOM000149196D |
Original Publication Date: 1976-Dec-31