<p>I am looking for an specification language, which supports both primitive data types and objects. I already know about <a href="http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.128.2294&amp;rep=rep1&amp;type=pdf" rel="nofollow">Object-Z</a>. But I am wondering if there is any other Specification language that I can use.</p>

CC BY-SA 3.0
2015-04-23T17:31:17.527Z
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](http://en.wikipedia.org/wiki/Java_Modeling_Language).
cody
CC BY-SA 3.0
2015-04-24T07:07:13.347Z
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!
qartal
CC BY-SA 3.0
2015-04-24T11:16:56.267Z
So it sounds like you want an *abstract calculus* of objects rather than a *specification language*.
cody
<formal-modeling><formal-methods><object-oriented>
Specification language for specifying both Objects and Primitive data types
qartal
# Specification language for specifying both Objects and Primitive data types

(Asked by: username_0 on 2015-04-21)

I am looking for an specification language, which supports both primitive data types and objects. I already know about [Object-Z](http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.128.2294&rep=rep1&type=pdf). But I am wondering if there is any other Specification language that I can use.

**Tags:** formal-modeling, formal-methods, object-oriented

> **Comments:**
> **username_1**: 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](http://en.wikipedia.org/wiki/Java_Modeling_Language).  
> **username_0**: 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!  
> **username_1**: So it sounds like you want an *abstract calculus* of objects rather than a *specification language*.  

---

## 0 answers

