Programming with High-level Languages and Interfaces