Skip to main content

All Questions

Filter by
Sorted by
Tagged with
8 votes
2 answers
626 views

Analysis of methods to ensure memory safety

Overview Ensuring memory safety is a core facet of modern programming language design. Memory safety can be guaranteed in many different ways. For the purposes of this question, I am defining memory ...
Wesley Jones's user avatar
4 votes
2 answers
626 views

Are there actual languages using fat pointers to store types?

In the normal implementations of C++, while not guaranteed by the standard, there is a vtable pointer as the header of every inherited class that needs a vtable pointer. There will be multiple vtable ...
user23013's user avatar
  • 2,850
3 votes
0 answers
257 views

Is there a downside to using offsets instead of raw pointers in a virtual machine?

Say I'm designing a virtual machine for a bytecode compiler/interpreter, using C as the implementation language. Some kind of “tagged” representation of values is simplest for this language, where ...
texdr.aft's user avatar
  • 313
2 votes
1 answer
284 views

Are there languages making addresses to have other significant meaning?

Some examples: To support checking whether an object is of a subclass of a specific class in constant time, in a language using single inheritance, the compiler could arrange the vtables of classes ...
user23013's user avatar
  • 2,850