An application of program unification to priority queue vectorization.

Ling-Yu Chuang Vernon Rego Aditya P. Mathur

Published in: Int. J. Parallel Program. (1992)

Keyphrases

priority queue
data structure
service times
line segments
data sets
higher order
theorem proving
web services
data management
logic programs
computer programs