monitoring, perhaps interesting memory reclamation issues, GC tweaking, yadda yadda. there are lots of features that have absolutely nothing to do with formal language semantics.
Exactly: Diagnosability and serviceability features (especially when deeply integrated with the underlying OS), code generation algorithms optimized for specific hardware, GC algorithms tuned to specific memory hierarchies, etc.
