This blog is created for educational purposes. Info4mystery archive and support student, teacher, Educationalists, Scholars and other people for learning by facilitating reflection, questioning by self and others, collaboration and by providing contexts for engaging in higher-order thinking.

Post Page Advertisement [Top]

Types of Algebraic Specification languages

Types of Algebraic Specification languages

There are two main languages related to 'Algebraic specification', provided as follows:

(a)   OBJ
OBJ is an algebraic programming method and specific languages introduced by Joseph Goguen in 1976. Specific object-oriented languages are the suppliers of at least three main object-oriented functions like objects, classes and inheritance and based on a semantic model that allows formal manipulation of details.
Specific object-oriented methods are categorised into two main groups. These are categorised according to the following:
·         The first is formed through new languages designed from the beginning after the paradigm.
·         Recording object orientation in existing languages
       (b)   LARCH
Larch language family supports a two-level specification style. A language designed for a specific programming language, Larch Interface Language (LIL) and other languages that are free of programming language, Larch Shared Language (LSL).

No comments:

Post a Comment

Popular Posts

Bottom Ad [Post Page]

| Designed by Colorlib