They're called “Pascal” and “Ada”. Not all caps, because they aren't acronyms.