| Presentation | 1996/1/24 A Typed Object Calculus for binary methods Ichiro Tomita, Naohiro Ishii, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | In strongly typed object-oriented programming languages, binary methods have caused several problems. Especially, in the case that binary methods are inherited and overloaded, there is a conflict that subclasses do not generate subtypes. Then, in this report, we propose the mechanism "method addition", to avoid the conflict between binary methods overloading and subtyping. We show this mechanism "method addition" formally in this report. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | object-oriented language / binary method / subtyping / multi-method / λ-calculus |
| Paper # | SS95-38 |
| Date of Issue |
| Conference Information | |
| Committee | SS |
|---|---|
| Conference Date | 1996/1/24(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | |
| Vice Chair | |
| Secretary | |
| Assistant | |
| Paper Information | |
| Registration To | Software Science (SS) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | A Typed Object Calculus for binary methods |
| Sub Title (in English) | |
| Keyword(1) | object-oriented language |
| Keyword(2) | binary method |
| Keyword(3) | subtyping |
| Keyword(4) | multi-method |
| Keyword(5) | λ-calculus |
| 1st Author's Name | Ichiro Tomita |
| 1st Author's Affiliation | Department of Intelligence and Computer Science, Nagoya Institute of Technology.() |
| 2nd Author's Name | Naohiro Ishii |
| 2nd Author's Affiliation | Department of Intelligence and Computer Science, Nagoya Institute of Technology. |
| Date | 1996/1/24 |
| Paper # | SS95-38 |
| Volume (vol) | vol.95 |
| Number (no) | 475 |
| Page | pp.pp.- |
| #Pages | 8 |
| Date of Issue | |