Implementing statically typed object-oriented programming languages
نویسندگان
چکیده
منابع مشابه
Constraining Polymorphism in Statically Typed Object-Oriented Languages
A major attraction of object-oriented programming languages is the promise of increased code reuse, especially through large class libraries implementing common abstract data types and algorithms. Unfortunately, the type systems of most widely used, statically typed object-oriented languages are unable to express the kinds of constrained polymorphism required to support the construction of such...
متن کاملSelective Inheritance and Overriding in Statically-Typed Object-Oriented Languages
We examine inheritance ill B~alically-lypedobjecl.-orienled languages. In some object-oriented languages it is possible to inherit selected methow from superdasse8. We call this selective inheritance. The obvious approach to selective inheritance in previous record-biLSed models of classes requires unnecessary ty pc reslricliollS. In this paper we propose 11. slightly different model whicll is ...
متن کاملModular Concrete Type-inference for Statically Typed Object-oriented Programming Languages ?
The problem of concrete type-inference for statically typed object-oriented programming languages (e.g., Java, C ++) determines at each program point, those objects to which a reference may refer or a pointer may point during execution. We present a new technique called analysis-using-abstract-values which performs modular and demand-driven concrete type-inference of a robust subset of Java wit...
متن کاملCan Object-Oriented Databases be Statically Typed?
Can there be a database programming language with a type system that matches the data model? Can such a language be strongly typed? Can it be statically typed? A static type system for database programming languages is, of course, the Holy Grail of the subject. However we, the authors, who have spent some effort in searching for this venerated object, now doubt its existence and have come to be...
متن کاملReflection for Statically Typed Languages
An object-oriented language that permits changing the behavior of a class or of a single object is said to support computational reflection. Existing reflective facilities in object-oriented languages are either complex, type unsafe, or have a large performance penalty. We propose a simple, easy-to-understand, and statically typed model that captures much of the functionalities of other reflect...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Computing Surveys
سال: 2011
ISSN: 0360-0300,1557-7341
DOI: 10.1145/1922649.1922655