Program analyses (The Mercury User’s Guide)

Next: Options that ask for modified output, Previous: Intermodule optimization, Up: Invocation [Contents][Index]

11.18 Program analyses

• The termination analyser based on linear inequality constraints
• Other program analyses