D. Sannella and A. Tarlecki. Algebraic preliminaries. In: [AKBK99], 13-30. 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)
....interface, and an implementation part. This definition allows to distinguish between different kinds of inheritance as discussed next. Inheritance, in contrast to subtyping, is used as a code structuring mechanism in [4] The semantics of subtyping is based on partial order sorted algebras (c.f. [51], Sect. 2.10.4) and fixed through model class inclusion. In [45] subclassing is called reuse inheritance. It contrasts from specialization inheritance in such a way that the former allows omission or redefinition of class methods, and that in the latter a subclass obeys the semantics of its ....
....interpretations can be given without the need to explicitly fix interpretation rules. Nonetheless, this approach only works under certain restrictions (c.f. 33] but with a subsort property given by definition: for each # S 1 algebra S 1 S 2 implies A S1 A S2 (c.f. 49] p. 137, or [51], Sect. 2.10.4) We simulate this approach with our interpretation rules, and thereby overcome the drawback of technical complexity (c.f. 10] Sect. 3.3.5) inevitably introduced into the structured specifications used here. 4.5 Semantics of Generic Classes In [9] parametrization of classes is ....
D. Sanella and A. Tarlecki. Algebraic preliminaries. In E. Astesiano, H.-J. Kreowski, and B. Krieg-Brckner, editors, Algebraic Foundations of Systems Specification, IFIP State-of-the-Art Report, pages 13 -- 30. Springer, 1999.
Global Development via Local Observational Construction Steps - Bidoit, al. (2002) (1 citation) Self-citation (Sannella Tarlecki) (Correct)
.... covers most of our own contributions is [ST97] with some more recent work addressing the problem of how to prove correctness of re nement steps [BH98] the design of a convenient formalism for writing speci cations [ABK 03,BST02] and applications to data re nement in typed calculus [HLST00]. A new angle that we explore here is the global e ect of re ning individual local components of a speci cation. This involves a well known technique from algebraic speci cation, namely the use of pushouts of signatures and amalgamation of models to build large systems by composition of ....
.... has already been provided, the main references being Schoett s thesis [Sch87,Sch90] and our work on formal development in the Extended ML framework [ST89] the general ideas go back at least to [Hoa72] This work has been partially supported by KBN grant 7T11C 002 21 and European AGILE project IST 2001 32747 (AT) CNRS PAS Research Cooperation Programme (MB, AT) and British Polish Research Partnership Programme (DS, AT) We have another look at these issues here, in the context of the Casl speci cation formalism [ABK 03] and in particular, its architectural speci cations [BST02] ....
[Article contains additional citation context not shown here]
D. Sannella and A. Tarlecki. Algebraic preliminaries. In: [AKBK99], 13-30.
Global Development via Local Observational Construction Steps - Bidoit, Sannella, Tarlecki (2002) (1 citation) Self-citation (Sannella Tarlecki) (Correct)
.... covers most of our own contributions is [ST97] with some more recent work addressing the problem of how to prove correctness of refinement steps [BH98] the design of a convenient formalism for writing specifications [ABK 03,BST02] and applications to data refinement in typed # calculus [HLST00]. A new angle that we explore here is the global e#ect of refining individual local components of a specification. This involves a well known technique from algebraic specification, namely the use of pushouts of signatures and amalgamation of models to build large systems by composition of ....
.... has already been provided, the main references being Schoett s thesis [Sch87,Sch90] and our work on formal development in the Extended ML framework [ST89] the general ideas go back at least to [Hoa72] This work has been partially supported by KBN grant 7T11C 002 21 and European AGILE project IST 2001 32747 (AT) CNRS PAS Research Cooperation Programme (MB, AT) and British Polish Research Partnership Programme (DS, AT) We have another look at these issues here, in the context of the Casl specification formalism [ABK 03] and in particular, its architectural specifications [BST02] ....
[Article contains additional citation context not shown here]
D. Sannella and A. Tarlecki. Algebraic preliminaries. In: [AKBK99], 13--30.
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