중첩 패턴 매칭을 지원하는 인터랙션 넷 구현

인터랙션 넷의 축소 규칙은 한 번에 하나의 인자를 정확히 매칭하도록 제한된다. 이로 인해 프로그래머는 보다 복잡한 매칭을 수행하기 위해 보조 규칙을 도입해야 한다. 본 논문에서는 인터랙션 넷에서 중첩 패턴 매칭을 허용하는 시스템의 설계와 구현을 기술한다. 우리는 보조 규칙을 정의하지 않고도 인터랙션 넷 프로그램을 편리하게 표현할 수 있는 시스템을 구현하였다.

저자: Abubakar Hassan (University of Sussex), Eugen Jiresch (Vienna University of Technology), Shinya Sato (Himeji Dokkyo University)