Specification of data structures for FP programs.

Geoffrey A. Frank

Published in: FPCA (1981)

Keyphrases

information retrieval
data structure
provably correct
control program
high level programming language
high level
artificial intelligence
control flow
answer sets
computer programs
multidimensional data
fixpoint
data types
formal specification
suffix tree
logic programs
multi dimensional
programming language
website