Type and Behaviour Reconstruction for Higher-Order Concurrent Programs.

Torben Amtoft Flemming Nielson Hanne Riis Nielson

Published in: J. Funct. Program. (1997)

Keyphrases

higher order
concurrent programs
pairwise
databases
web services
case study
general purpose
markov random field