Array Padding in the Functional Language SAC.

Published in: PDPTA (2000)

Keyphrases

functional language
functional programming
programming language
proof planning
execution model
object identity
access control
machine learning
data structure
object oriented
general purpose