S. Clerici and F. Orejas. The specification language GSBL. In H. Ehrig, K. P. Jantke, F. Orejas, and H. Reichel, editors, Recent Trends in Data Type Specification, volume 534 of Lecture Notes in Computer Science (LNCS), pages 31 -- 51. Springer, 1991. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
An Approach to Algebraic Semantics of Object-Oriented Languages - Fronk (2002) (Correct)
....the last two decades, algebraic specification has frequently been used to study denotational semantics of functional [6, 55] and imperative [7] languages. Algebraic specification languages inherently provide algebraic semantics and thus mathematical objects denoting syntactical constructs (c.f. [8, 27, 21, 12, 5, 57, 25]) Algebraic semantics are also used in the field of abstract state machines to formalize the machine model underlying an operational semantics [31] Based on this approach, Gurevich shows such a semantics for the C programming language [32] In the context of algebraic specification languages, a ....
....on the appealing possibilities algebraic specifications offer for object oriented issues. 2 2.1 Objects In [30] algebraic specifications model instances, that is each specification corresponds to a class instance in a specific state. For each instance obj of a class c a sort of interest [12], c, together with a constant of the form obj :# c is introduced. An axiom of the form obj = t describes the state of obj by the term t. Changing the object s state as well as creating or deleting objects is reflected by generating new axioms or exchanging existing ones, introducing new constants, ....
S. Clerici and F. Orejas. The specification language GSBL. In H. Ehrig, K. P. Jantke, F. Orejas, and H. Reichel, editors, Recent Trends in Data Type Specification, volume 534 of Lecture Notes in Computer Science (LNCS), pages 31 -- 51. Springer, 1991.
Class Polymorphism in GLIDER - Clrici Jimnez Orejas Self-citation (Orejas) (Correct)
No context found.
#Clerici, S.; Orejas, F.: "The specification language GSBL" in 'Recent trends in data type specification' (H. Ehrig, K. Jantke, F. Orejas, H. Reichel (eds.)) Springer-Verlag Lecture Notes in Computer Science 534, 1991, pp. 31-51.
Semantic Constructions in the Specification Language Glider - Clerici, Jimenez, Orejas (1992) (5 citations) Self-citation (Orejas) (Correct)
....specifications providing the operations for completing them. Also, it should facilitate modular structures that can faithfully reflect the design process of a given specification, so that backtracking may be limited to where the first inadequate design decision was taken. In [CO 88, OSC 89, CO 91a] taking as a testbed the experimental language GSBL, we thoroughly studied the refinement relation associated with adding detail to an incomplete specification and concluded that it provided an inheritance relationship at the specification level playing the same rle as standard inheritance in ....
.... to Clear s environments is used for expressing sharing in the semantics of Glider (although this issue has not been discussed in this paper) Defining the semantics at two levels has its origins in LOOK [ETLZ 82] and in Act One [EM 85] Inheritance by specialization was taken from GSBL [CO 88, CO 91a] but similar notions can be found in OBJ [FGJM 85] LOOK and Larch [GH 86] Finally, inheritance by restriction and streams can be found in PAnndA S, the specification language of the PROSPECTRA project [KH 90] To conclude, it must be said that the combination of all these features makes ....
Clerici, S.; Orejas, F.: "The specification language GSBL" in 'Recent trends in data type specification' (H. Ehrig, K. Jantke, F. Orejas, H. Reichel (eds.)) SpringerVerlag Lecture Notes in Computer Science 534, 1991, pp. 31-51.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC