A redundancy check for ALGOL programs.

Henry C. Thacher Jr.

Published in: Commun. ACM (1962)

Keyphrases

programming language
computer programs
programming environment
answer sets
databases
decision making
object oriented concepts
face recognition
information technology
mobile robot
language learning
fixpoint
prolog programs