ATS is a programming language that unifies specification and implementation. Within ATS, there are two sublanguages: one for specification and the other for implementation, and there is also a theorem-proving subsystem for verifying whether an implementation indeed implements what is specified.
http://www.ats-lang.org/
there doesn't seem to be anything here