A behavioural notion of subtyping for object-oriented programming in SPARK95
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
Runtime feedback in a meta-tracing JIT for efficient dynamic languages
Proceedings of the 6th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems
Hi-index | 0.00 |