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)
Influence of Statistical Properties of Video Signals on the Power Dissipation of CMOS Circuits
(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.