H ? «‹←→›»

Language peer sets for Mem-theory:
United States↑
United States/1961↑
Designed 1961 ↑
1960s languages ↑
Second generation↑
Early Cold War↑
Genus Generalised programming ↑
Generalised programming↑
US historic algorithmic systems↑
Historic algorithmic languages ↑
Generalised programming/1961↑
US historic algorithmic systems/1961↑
Historic algorithmic languages/1961↑
Generalised programming/United States↑
US historic algorithmic systems/United States↑
Historic algorithmic languages/United States↑

Mem-theory(ID:6725/mem001)

Graph-based universal language 

alternate simple view
Country: United States
Designed 1961
Published: 1962
Genus: Generalised programming

Language based on general theory of elements in relation and changes of relation. This in contrast to the "pure" algorithmic and functional approaches which see memory access as a "necessary evil" - hence memory-theory - the theory designed to investigate the relations between the meaning and acts of memory accss.

Influenced also by the IPL and the LT machine.

The research grew out of the GP and ACT projects at Univac and ADR, and Holt's subsequent PhD in Applied Linguistics at Pennsylvania U. and the Information Theory project at Computer Associates Mass.

Described by Earley as originating graph-theory in programming languages


from Austin
"First, we must specify the effect of any event; i.e., the change in binding to be effected. The syntactic specification is borrowed from the mem-theory of Holt et al, which is a general theory of elements in relation and changes of relation. Briefly, the state of binding is represented by a graph whose (labelled) nodes represent system resources and whose edges represent relations (bonds) among them. Edges might be uniquely differentiated by their endpoints{ if not, they may be labelled or directed. The distinct labels on nodes or edges identify particular resources or classes of resources (or bonds). The change of binding to be effected is specified by a second graph depicting the final binding state in a similar manner. Special conventions are provided to indicate insertion or deletion of items in ordered sets. (The order relation on the set must be specified outside the graphic syntax.)"

People:
Related languages
ACT→Mem-theory   Evolution of
IPL-V→Mem-theory   Influence
  Mem-theory→VERS Influence
References:

1961

1962

  • Holt, Anatol W. (1962) Holt, Anatol W. "Program Organization and Record Keeping for Dynamic Storage Allocation" pp539-544
          in Popplewell, Cicely M. (1962) Popplewell, Cicely M. (Ed.) Information Processing 62, Proceedings of the 2nd IFIP Congress, Munich, Aug. 1962. North Holland Publ. Co., 1963.

1965

  • Holt, A. (1965) Holt, A. W. Some Theorizing on Memory Structure and Information Retrieval. pp166-178 Abstract
          in Information Processing Machines: Proceedings of th (1965) Information Processing Machines: Proceedings of the Symposium held in Prague on September 7th-9th, 1964. Czechislovak Academy of Sciences (Prague) and Iliffe Books, Ltd. (London) 1965
  • Holt, A.W. (1965) Holt, A.W. Mem-theory, a mathematical method for the description and analysis of discrete finite information systems, Applied Data Research, Inc., 1965
  • Holt, A.W., Changon, S. (1965) Holt, A.W., Changon, S. O., Shapiro, R. M., and Warshall, S. 1965. Information System Theory Project, Vol. 1, Document AD 629-819 (National Technical Information Service, Springfield, Va.).

1968

  • Holt, A.W. (1968) Holt, A.W. INFORMATION SYSTEM THEORY PROJECT, FINAL REPORT. Applied Data Research, Inc. (Princeton, New Jersey) report no. ADR-Ref-6606, USAF Rome Air Development Center report no. RADC-TR-68-305, CFSTI report no. AD-676 972, 359 pages. 1968 September. Abstract

1970

1971

  • Earley, Jay (1971) Earley, Jay "Toward an understanding of data structures" Extract: Programming Languages and an Implementation Facility
          in [ACM] (1971) [ACM] CACM 14(10) October 1971

1973

  • Austin, Joseph H. Jr. (1973) Austin, Joseph H. Jr. "Specification languages for control programs" pp34-37 Abstract DOI
          in [SIGPLAN] (1973) SIGPLAN Notices 8(09) June 1973 Proceedings of ACM SIGPLAN - SIGOPS interface meeting on Architectural Support for Programming Languages and Operating Systems, Savannah, Georgia, 1973

1975

  • Liskov and Zilles (1975) Liskov, Barbara and Zilles, Stephen "Specification techniques for data abstractions" pp72-87
          in [Proceedings] (1975) Proceedings of the International Conference on Reliable software Los Angeles, California 1975
Search in:Google Google scholar World Cat Yahoo Overture Teoma Alta Vista All the web Voila DBLP Monash bib NZ IEEE ACM portal CiteSeer CSB ncstrl jstor Bookfinder