Login / Signup
A Type-Based Algorithm for the Control-Flow Analysis of Higher-Order Concurrent Programs.
Mourad Debbabi
Ali Faour
Nadia Tawbi
Published in:
Implementation of Functional Languages (1996)
Keyphrases
</>
higher order
flow analysis
database
natural language
end users
building blocks