Ontify
Low-level scheme specifying how functions receive parameters and return values in a programming language implementation.