Joseph Y. Halpern, Yoram Moses
Journal of the ACM
The paper presents an extension of MODULA-2 for objectoriented programming. After presenting a set of criteria for object-oriented languages, it discusses several possible strategies for extending MODULA-2. One of these strategies is then further developed and formalized in a new programming notation, MODULA-90. © 1990.
Joseph Y. Halpern, Yoram Moses
Journal of the ACM
Arthur Nádas
IEEE Transactions on Neural Networks
Gaku Yamamoto, Hideki Tai, et al.
AAMAS 2008
Miao Guo, Yong Tao Pei, et al.
WCITS 2011