Which programming language is used by banks for card coding?

Credit cards and Debit cards are very popular throughout the world. They can be used to withdraw money from any corner of the world within a few seconds. But which programming language Operating System supports the credit cards and ATM machines? Is it Linux like everywhere or is it something else?
