Making Safer Object-oriented Languages
نویسنده
چکیده
In this short paper I sketch out a problem, which is rarely recognized by designers of programing languages. Null values are a source of many problems and run-time errors as well as some incoherences in language and data model design. I propose a nice and simple solution altering the semantics of variables declarations and give some additional information to the compiler and verifier.
منابع مشابه
'rpdlq 2emhfw 0rghov Dqg 8vhu Lqwhuidfhv
Object-oriented languages originate from the Simula language developed in Norway in the sixties (Dahl et al., 1966). Simula was designed to be a language for making simulations. It is therefore not surprising that one major benefit of object-oriented languages is an underlying FRQFHSWXDO IUDPHZRUN providing means for modelling. This conceptual framework provides object-oriented languages with t...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملAddressing Dynamic Dispatching Issues in WCET Analysis for Object-Oriented Hard Real-Time Systems
There is a trend towards using object-oriented programming languages to develop hard real-time applications. However, some object-oriented features, such as dynamic dispatching and dynamic loading, are prohibited from being used in hard realtime systems because they are either unpredictable and/or unanalysable. Arguably, these restrictions could make applications very limited and unrealistic si...
متن کاملA Pure Calculus of Subtyping, and Applications (Outline)
One of the problems in understanding object-oriented languages is understanding their type systems, e.g. making sure that they are sound. To this end, I propose a typed foundation for object-oriented languages, based on a small typed λ-calculus with polymorphism and subtyping.
متن کامل