Οι προδιαγραφές που καθορίζουν το πώς ο χρόνος εκτέλεσης κοινής γλώσσας καθορίζει, χρησιμοποιεί και διαχειρίζεται τους τύπους.