The definition of Standard ML
The C++ programming language (2nd ed.)
The C++ programming language (2nd ed.)
An introduction to object-oriented programming
An introduction to object-oriented programming
Object-oriented type systems
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Smalltalk-80: The Language
Calculation of execution times in RealTimeTalk-an object-oriented language for real-time
WORDS '94 Proceedings of the 1st Workshop on Object-Oriented Real-Time Dependable Systems
Type checking and type inference for object-oriented programming languages
Type checking and type inference for object-oriented programming languages
Hi-index | 0.00 |
Real Time Talk is a framework and an object-oriented language for distributed hard real-time systems. This paper presents past, present, and future work in the Real Time Talk project. It concentrates on the language and programming part of Real Time Talk, and the problems a dynamically typed language impose on a real-time system.We look at how some of these problems can be solved by type inference and how type information can assist the compiler in accepting larger classes of real-time programs, generate more efficient and deterministic code, provide better estimation of execution times, and avoid run-time type errors. With type inference, one can have the best of two worlds --- efficiency and type safety, without the need for manual type declarations. An example is used to illustrate these ideas.