Volume 12; Issue 8

ACM SIGPLAN Notices

Volume 12; Issue 8
1

Prolog - the language and its implementation compared with Lisp

Warren, David H D, Pereira, Luis M., Pereira, Fernando
Journal:
ACM SIGPLAN Notices
Year:
1977
Language:
english
File:
PDF, 655 KB
english, 1977
2

Abstractions, instantiations, and proofs of marking algorithms

Yelowitz, Lawrence, Duncan, Arthur G.
Journal:
ACM SIGPLAN Notices
Year:
1977
Language:
english
File:
PDF, 612 KB
english, 1977
3

Macaroni is better than spaghetti

Steele, Guy Lewis
Journal:
ACM SIGPLAN Notices
Year:
1977
Language:
english
File:
PDF, 501 KB
english, 1977
4

Self-redefinition as a program manipulation strategy

Chatelin, Philippe
Journal:
ACM SIGPLAN Notices
Year:
1977
Language:
english
File:
PDF, 417 KB
english, 1977
5

The PSI Program Model Builder - synthesis of very high-level programs

McCune, Brian P.
Journal:
ACM SIGPLAN Notices
Year:
1977
Language:
english
File:
PDF, 768 KB
english, 1977
6

Generalized procedure calling and content-directed invocation

Davis, Randall
Journal:
ACM SIGPLAN Notices
Year:
1977
Language:
english
File:
PDF, 1.17 MB
english, 1977
8

Program synthesis by analogy

Ulrich, John Wade, Moll, Robert
Journal:
ACM SIGPLAN Notices
Year:
1977
Language:
english
File:
PDF, 463 KB
english, 1977
9

CSSA

Böhm, H. P., Fischer, H. L., Raulefs, P.
Journal:
ACM SIGPLAN Notices
Year:
1977
Language:
english
File:
PDF, 708 KB
english, 1977
10

The incremental garbage collection of processes

Baker, Henry C., Hewitt, Carl
Journal:
ACM SIGPLAN Notices
Year:
1977
Language:
english
File:
PDF, 455 KB
english, 1977
11

Program manipulation via an efficient production system

Kibler, D. F., Neighbors, J. M., Standish, T. A.
Journal:
ACM SIGPLAN Notices
Year:
1977
Language:
english
File:
PDF, 562 KB
english, 1977
12

The selection of efficient implementations for a high-level language

Kant, Elaine
Journal:
ACM SIGPLAN Notices
Year:
1977
Language:
english
File:
PDF, 729 KB
english, 1977
13

A normal form for compiler testing

Samet, Hanan
Journal:
ACM SIGPLAN Notices
Year:
1977
Language:
english
File:
PDF, 629 KB
english, 1977
14

Control requirements for the design of production system architectures

Rychener, Michael D.
Journal:
ACM SIGPLAN Notices
Year:
1977
Language:
english
File:
PDF, 722 KB
english, 1977
15

Design rationale for TELOS, a PASCAL-based AI language

Travis, Larry, Honda, Masahiro, LeBlanc, Richard, Zeigler, Stephen
Journal:
ACM SIGPLAN Notices
Year:
1977
Language:
english
File:
PDF, 895 KB
english, 1977
16

AMORD explicit control of reasoning

Kleer, Johan de, Doyle, Jon, Steele, Guy L., Sussman, Gerald Jay
Journal:
ACM SIGPLAN Notices
Year:
1977
Language:
english
File:
PDF, 822 KB
english, 1977
18

Selection of representations for data structures

Rosenschein, Stanley J., Katz, Shmuel M.
Journal:
ACM SIGPLAN Notices
Year:
1977
Language:
english
File:
PDF, 711 KB
english, 1977