I am looking for an specification language, which supports both primitive data types and objects. I already know about Object-Z. But I am wondering if there is any other Specification language that I can use.

  • $\begingroup$ What are you trying to do with the specification language? There are many ways to formalize and analyse specific OO languages, see e.g. JVM. $\endgroup$ – cody Apr 23 '15 at 17:31
  • $\begingroup$ I am not interested to be focused in any language. Instead, interested to study the formalities behinds Objects and Classes in general. JML that you mentioned ( I think there was a typo on your post) is not discussing the semantics behind classes and objects; it is Hoare style specification of Java programs! $\endgroup$ – qartal Apr 24 '15 at 7:07
  • $\begingroup$ So it sounds like you want an abstract calculus of objects rather than a specification language. $\endgroup$ – cody Apr 24 '15 at 11:16

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.