[treve]

ABI is not a specific technology in the same way 'API' is not. So the ABI doesn't have any specific goals, it's just something that emerges when working with dynamic linking.