Continuous Structures and Analytic Methods in Computer Science