Refine
H-BRS Bibliography
- no (53)
Departments, institutes and facilities
Document Type
- Article (24)
- Conference Object (12)
- Book (monograph, edited volume) (5)
- Part of a Book (5)
- Report (4)
- Contribution to a Periodical (2)
- Doctoral Thesis (1)
Year of publication
- 1994 (53) (remove)
Has Fulltext
- no (53)
Keywords
- Aufsatzsammlung (1)
- Automobile industry and trade (1)
- Bankbilanz (1)
- Deutschland (1)
- Direktinvestition (1)
- Europa (1)
- Fahrzeugindustrie (1)
- Forschungsprojekt (1)
- Industrial management (1)
- Internationale Wettbewerbsfähigkeit (1)
Zumutbarkeit von Arbeit
(1994)
The glomerulosclerosis gene Mpv17 encodes a peroxisomal protein producing reactive oxygen species
(1994)
Technology Transfer in Developing Countries: Computer Integrated Manufacturing (CIM) in China
(1994)
Reduktion des Schaltfaktors durch das Ausnutzen statistischer Eigenschaften von Videosignalen
(1994)
We present a type inference algoritm and its verification for an object-oriented programming language called O'SMALL. O'SMALL is a class-based language with imperative features. Classes are not first-class citizens. No type declarations are required. Type inference operates on an extended lambda-calculus into which O'SMALL is translated. The system features extensible record types, mu-types, and imperative types. This work belongs to both theoretical and practical computer science. In the theoretical part, the type inference algoritm for our lambda-calculus with records is formalized in order-sorted logic. In the practical part, the algoritm for let-polymorphism and imperative features is based on well-known approaches. These approaches are presented in a new fashion but they are not proven correct.