A Type-Based Algorithm for the Control-Flow Analysis of Higher-Order Concurrent Programs

• Authors:

• Mourad Debbabi;Ali Faour;Nadia Tawbi

• Affiliations:

• -;-;-

• Venue:
• IFL '96 Selected Papers from the 8th International Workshop on Implementation of Functional Languages
• Year:
• 1996