Sharing Continuations: Proofnets for Languages with Explicit Control.

Julia L. Lawall Harry G. Mairson

Published in: ESOP (2000)

Keyphrases

databases
control system
real time
language independent
data sets
data mining
information retrieval
website
digital libraries
expressive power
control strategy
control method
control strategies
control problems