An interoperable calculus for external object access

Atsushi Ohori, Kiyoshi Yamatodani

研究成果: Paper査読

2 被引用数 (Scopus)

抄録

By extending an ML-style type system with record polymorphism, recursive type definition, and an ordering relation induced by field inclusion, it is possible to achieve seamless and type safe interoperability with an object-oriented language. Based on this observation, we define a polymorphic language that can directly access external objects and methods, and develop a type inference algorithm. This calculus enjoys the features of both higher-order programming with ML polymorphism and class-based object-oriented programming with dynamic method dispatch. To establish type safety, we define a sample object-oriented language with multiple inheritance as the target for interoperability, define an operational semantics of the calculus, and show that the type system is sound with respect to the operational semantics. These results have been implemented in our prototype interpretable language, which can access Java class files and other external resources.

本文言語English
ページ60-71
ページ数12
DOI
出版ステータスPublished - 2002
イベントProceedings of the Seventh ACM SIGPLAN; International Conference on Functional Programming (ICFP'02) - Pittsburgh, PA, United States
継続期間: 2002 10 42002 10 6

Other

OtherProceedings of the Seventh ACM SIGPLAN; International Conference on Functional Programming (ICFP'02)
国/地域United States
CityPittsburgh, PA
Period02/10/402/10/6

ASJC Scopus subject areas

  • ソフトウェア

フィンガープリント

「An interoperable calculus for external object access」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル