ASLIP(ID:3964/asl003)

Symmetric List Processor 

for Algol SLIP

Denis White Univ. of Wisconsin 1967-69

port of Weizenbaum's SLIP to Algol 60
Places
Related languages
ALGOL 60 Revised => ASLIP   Written using
SLIP => ASLIP   Implementation
References:
  • Denis White "ASLIP. Weizenbaum's Symmetric List Processor, in ALGOL." (with Larry Folts and guided by Professor Larry Travis, Computer Science, Univ. of Wisconsin) view details
  • Denis White "Resolution theorem prover: Robinson's resolution principle in an interactive theorem proving program, in ALGOL and ASLIP." (with Larry Folts and guided by Professor Larry Travis, Computer Science, Univ. of Wisconsin) 1969 view details