Continuous Lattices and Their Applications