Optimization of functional language ASL/F programs.

Hiroyuki Seki Kenichi Taniguchi Tadao Kasami

Published in: Systems and Computers in Japan (1985)

Keyphrases

functional language
functional programming
functional programs
programming language
proof planning
execution model
database systems
search algorithm
knn
software engineering
key features
object oriented programming