Original Publication Date: 2007-Mar-31
CSG MEMO- l(1 6
SEMANTICS OF DATA STRUCTURES AND I(EFERENCES
David J. E l l i s
This research was supported by the National
Science Foundation under research grant 6,J-34671.
MASSAC'riUSETTS INSTITUTE OF TECHNOLOGY
SEMANTICS OF DATA STRUCTURES...
Original Publication Date: 1974-Aug-31
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
The problem investigated in this thesis is that of finding homeomorphic images of...
Original Publication Date: 1978-Feb-28
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
MASSACHUSETTS INSTITUTE OF TECHNOLOGY
Massachusetts Institute of Technology 1988
Original Publication Date: 1988-Jan-31
in Contemporary Progrismminy Languages
Daniel 4. Carnese
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...
Original Publication Date: 1984-Sep-30
Efficient Denland-driven Evaluation (11)
Keshav Pingali Arvind
19 September 1983
Laboratory for Computer Science
Massachusetts Institute of 'Fechnology CambridgeMassachusetts 027 39
In Part I of this paper, we presented a scheme whereby a compiler could propagate
demands through programs in a powerful...
Original Publication Date: 1983-Sep-19
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...
Original Publication Date: 1981-Jun-30
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...
Original Publication Date: 1980-Aug-31
A DECIDABILI'TY RESULT FOR A SECOND
ORDER PROCESS L,OGIC
MASSACIiLJSETTS INSTITUTE OF TECHNOLOGY LABOMTORY FOR COMP'IJTER SCIENCE
A DECIIDABILI'FY RESULT FOR A SECOND ORDER PROCESS LOGIC.
Rohit PanaikhLsbor~kto~yfor Computer Science, MUI,T., and
Original Publication Date: 1978-Jul-31
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
Original Publication Date: 1976-Dec-31