N.Miyake, A.Togashi, S.Noguchi "An AMLOG Execution Monitor Based on a Three-layer Execution Model" JJSAI

Languages mentioned

• AMLOG {1988} Equational logic programming language