我正在写论文,但我不知道用来定义在调用图中创建循环的函数的专业术语。如果箭头是呼叫指令,请想象以下示例:A-> B-> C-> A。
我在受污染的分析中以不同的方式对待它们,目前将它们称为“循环嵌套函数”。是否有任何技术术语来定义它们?
它们是mutually recursive功能。