Hiroshi Ishikawa, Kokichi Futatsugi, Takuo Watanabe. "An Operational Semantics of GAEA in Rewriting Logic" MACC 98

Languages mentioned

• GAEA {1998}