[ACM] JACM

• [ACM] (1954) [ACM] JACM 2(1) (Jan 1955)
  Backus, J. W. (1954)Backus, J. W. "The IBM 701 Speedcoding System" pp4 - 6
  Gordon, B. (1956)Gordon, B. "An optimizing program for the IBM 650"
• [ACM] (1955) [ACM] JACM 2(4) (Oct 1955)
  Hume, J. N. P. and H. Worsley, Beatrice (1955)Hume, J. N. P. and H. Worsley, Beatrice "Transcode, A System of Automatic Coding for FERUT"
• [ACM] (1956) [ACM] JACM 3(2) (April 1956)
  (1956)Robert Perkins: EASIAC, A Pseudo-Computer.
• [ACM] (1956) [ACM] JACM 3(4) (Oct 1956)
  Baker, Charles L. (1956)Baker, Charles L. "The PACT I coding system, for the IBM Type 701"
  Derr, J. I. and R. C. Luke. (1956)Derr, J. I. and R. C. Luke. "Semi-automatic allocation of data storage for PACT I"
  Greenwald, I. D. and H. G. Martin. (1956)Greenwald, I. D. and H. G. Martin. "Conclusions after using the PACT I advanced coding technique"
  Hempstead, Gus and Jules I. Schwartz. (1956)Hempstead, Gus and Jules I. Schwartz. "PACT loop expansion"
  Melahn. Wesley S. (1956)Melahn. Wesley S. "A description of a cooperative venture in the production of an automatic coding system"
  Miller, Jr. Robert C. and Bruce G. Oldfield. (1956)Miller, Jr. Robert C. and Bruce G. Oldfield. "Producing computer instructions for the PACT I compiler"
  Mock, Owen R. (1956)Mock, Owen R. "Logical organization of the PACT I compiler"
• [ACM] (1957) [ACM] JACM 4(1) January 1957
  Steel, T. B. (1957)Steel, T. B. "Pact IA"
• [ACM] (1957) [ACM] JACM 4(2) April 1957
  (1957)William Miehle: Burroughs Truth Function Evaluator
  Yates, F.; and Lipton, S. (1957)Yates, F.; and Lipton, S. "Automatic programming routine for ELLIOT 401" pp151-6
• [ACM] (1957) [ACM] JACM 4(3) July 1957
  Gorn, Saul (1957)Gorn, Saul "Standardized Programming Methods and Universal Coding"
  Lipton, S. (1957)Lipton, S. "Two Programming Techniques for One-Plus-One Address Computers" pp274-278
• [ACM] (1958) [ACM] JACM 5(1) (Jan 1958)
• [ACM] (1958) [ACM] JACM 5(3) July 1958
  Lesh, F. (1958)Lesh, F. "Methods of Simulating a Differential Analyzer on a Digital Computer"
• [ACM] (1958) [ACM] JACM 5(4) October 1958
  Harley Tillitt (1958)Harley Tillitt "Computer Programming for Young Students"
• [ACM] (1959) [ACM] JACM 6(2) April 1959
  Boehm, E. M. and T. B. Steel (1959)Boehm, E. M. and T. B. Steel "The Share 709 System: Machine Implementation of Symbolic Programming"
  Shell, Donald L. (1959)Shell, Donald L. "The Share 709 System: A Cooperative Effort"
• [ACM] (1960) [ACM] JACM 7(2) (1960).
  Gelernter, H.; Hansen, J.R.; Gerberich, C.L. (1960)Gelernter, H.; Hansen, J.R.; Gerberich, C.L. A FORTRAN Compiled List Processing Language.
• [ACM] (1961) [ACM] JACM 8(2) April 1961
  Herbert M. Gurk, Jack Minker (1961)Herbert M. Gurk, Jack Minker "The Design and Simulation of an Information Processing System"
  Lombardi, Lionello (1961)Lombardi, Lionello "System Handling of Functional Operators"
• [ACM] (1961) [ACM] JACM 8(4) October 1961
  Floyd, Robert W. (1961)Floyd, Robert W. "A Descriptive Language for Symbol Manipulation"
• [ACM] (1962) [ACM] JACM 9(1) January 1962
  Cantor, D. G. (1962)Cantor, D. G. "On the ambiguity problem of Backus Systems"
  Lombardi, Lionello (1962)Lombardi, Lionello "Mathematical aspects of non-arithmetic data processing procedures"
• [ACM] (1962) [ACM] JACM 9(2) April 1962
  Arden, B. W.; Galler, B. A., and Graham, R. M. (1962)Arden, B. W.; Galler, B. A., and Graham, R. M. "An algorithm for translating Boolean expressions" pp222-239
• [ACM] (1962) [ACM] JACM 9(3) July 1962
• [ACM] (1962) [ACM] JACM 9(4) October 1962
  Grau (1962)Grau, A. A. "A translator-oriented symbolic programming language"
• [ACM] (1963) [ACM] JACM 10(03) July 1963
  Floyd, R. (1963)Floyd, R. "Syntactic Analysis and Operator Precedence"
• [ACM] (1963) [ACM] JACM 10(04) October 1963
  Slagle, James R. (1963)Slagle, James R. "A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus" pp507-520
• [ACM] (1964) [ACM] JACM 11(01) January 1964
  Farber, David. J.; Griswold, Ralph. E.; and Polons (1964)Farber, David. J.; Griswold, Ralph. E.; and Polonsky, Ivan. P. "SNOBOL: A String Manipulation Language" pp21-30
• [ACM] (1964) [ACM] JACM 11(02) April 1964
  Hemmerle, W. J. (1964)Hemmerle, W. J. "Algebraic Specification of Statistical Models for Analysis of Variance Computations" pp234-239
• [ACM] (1965) [ACM] JACM 12(1) January 1965
  McClure, Robert M. (1965)McClure, Robert M. "A Programming Language for Simulating Digital Systems" pp14-22
• JACM (1965) [ACM] JACM 12(4) October 1965
  Wos et al (1965)Wos, L., G.A. Robinson & D.F. Carson "Efficiency and completeness of the set of support strategy in theorem-proving"
• [ACM] (1966) [ACM] JACM 13(01) January 1966
  Ershov, A. P. (1966)Ershov, A. P. "ALPHA - An Automatic Programming System of High Efficiency"
• [ACM] (1966) [ACM] JACM 13(03) July 1966
  Overheu, D. L. (1966)Overheu, D. L. "An Abstract Machine for Symbolic Computation" pp444-468
  Reinwald, L. T., and Soland, R. M., (1966)Reinwald, L. T., and Soland, R. M., "Conversion of Limited-Entry Decision Tables to Optimal Computer Programs I: Minimum Average Processing Time"
• [ACM] (1967) [ACM] JACM, 14(4) 1967
  Floyd, R. (1967)Floyd, R. "Nondeterministic Algorithms"
• [ACM] (1969) [ACM] JACM 16(4) 1969
  Ernst, George Werner: (1969)Ernst, George Werner: "Sufficient conditions for the success of GPS" pp517-533
• [ACM] (1970) [ACM] JACM 17(1) January 1970
  Colmerauer, Alain (1970)Colmerauer, Alain "Total Precedence Relations"
• [ACM] (1970) [ACM] JACM 17(2) April 1970
  Nevins, Arthur J. (1970)Nevins, Arthur J. "A Programming Language With Automatic Goal Generation and Selection"
• [JACM] (1970) [ACM] JACM 17(3) July 1970
  Shaw (1970)Shaw, A. C. "Parsing of graph-representable pictures"
• [ACM] (1973) [ACM] JACM 20(3) July 1973
  R.G. Worrell et al (1973)R.G. Worrell et al "Efficient Ordering of Set Expressions for Symbolic Expansion"
• [ACM] (1975) [ACM] JACM 22(1) January 1975
  Boyer. R.S.. and Moore, JS. (1975)Boyer. R.S.. and Moore, JS. "Proving theorems about LISP functions" pp129-144
  R.S. Boyer et al (1975)R.S. Boyer et al "Proving Theorems About LISP Functions" pp129-144
• [ACM] (1976) [ACM] JACM 23(4) October 1976
  Van Emden, M. H. and R. A. Kowalski (1976)Van Emden, M. H. and R. A. Kowalski "The Semantics of Predicate Logic as a Programming Language" pp733-742
• [ACM] (1977) [ACM] JACM 24(1) Jan 1977
  Burstall , R. M.; Darlington, John (1977)Burstall , R. M.; Darlington, John "A Transformation System for Developing Recursive Programs" p44-67
• [ACM] (1978) [ACM] JACM 25(03)March 1978
  Hoare, C A R (1978)Hoare, C A R "Some Properties of Predicate Transformers" pp461-480
• [ACM] (1981) [ACM] JACM 28(3) July 1981
  Stickel, Mark E. (1981)Stickel, Mark E. "A Unification Algorithm for Associative-Commutative Functions" pp423-434
• [ACM] (1982) [ACM] JACM 29(01) January 1982
  Hoffmann, Christoph M. and O'Donnell, Michael J. (1982)Hoffmann, Christoph M. and O'Donnell, Michael J. "Pattern Matching in Trees" p68-95