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$
$\endgroup$
-
$\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
