Eiffel much.
Here what's perceived of interest is a "typing and templating assembler language", then with the idea that type theory makes guarantees for compilation, over the various processor architecures, those worked up apiece. Then constraints as pre/post conditions basically are for whatever way to make the cross-cutting concerns, the "aspects" usually the aspect-oriented programming.
Then assembler can pretty simply surface C bindings, for things like various language bindings, "Application Binary Interface (ABI)".