Talha N.

My Name is Talha Naseem and I am a Student of BS-CS. Specialty Software Development. I am also a freelancer and work freelance with my friends. I am working on language C#, Java, PHP, HTML. The language includes constructs for writing specifications that capture programmer intentions about how methods and data are to be used, the compiler emits run-time checks to enforce these specifications, and the verifies can check the consistency between a program and its specifications.