Which of the following statements are correct in the context of programming languages?

A. Algorithm solves a problem in a finite number of steps

B. Assembly language is a low level programming language

C. A code written in machine language is highly portable

D. Algorithms are implemented using programming languages

Choose the correct answer from the options given below: