conversion-op:type 1≥type 2와 같이 1가지 형태의 자료를 받아서 일치하는 다른 형태로 된 자료를 만드는 연산. 형 검사를 하는 동안에 인수의 실제적인 형과 연산에서 기대되는 형 사이에 불일치가 발생하면 2가지의 선택이 있을 수 있다. ㉠형의 불일치는 오류로 표시되고, 오류에 대한 적당한 조치를 수행한다. ㉡실제적인 인수의 형과 정확한 형을 교환하기 위해 형 변환을 적용한다.