Title: From Declaration to Code