Dịch công thức là tên viết tắt của từ viết tắt FORTRAN, là một ngôn ngữ lập trình cho phép dịch các phương trình toán học thành mã máy tính. FORTRAN được phát minh bởi các kỹ sư tại IBM vào cuối những năm 1950 và là ngôn ngữ máy tính độc lập đầu tiên.
FORTRAN đã hỗ trợ quá trình mã hóa một cách đáng kể. Bởi vì nó là ngôn ngữ máy tính cấp cao đầu tiên, nó loại bỏ sự cần thiết phải lập trình bằng mã máy và cho phép các lập trình viên dành phần lớn thời gian của họ để giải quyết các vấn đề thay vì làm việc trên chính quá trình mã hóa. FORTRAN cũng đã cách mạng hóa quy trình gỡ lỗi mã với việc sử dụng trình biên dịch.