Displaying similar documents to “Structural relation”

Dynamic overloading with copy semantics in object-oriented languages: a formal account

Lorenzo Bettini, Sara Capecchi, Betti Venneri (2009)

RAIRO - Theoretical Informatics and Applications

Similarity:

Mainstream object-oriented languages often fail to provide complete powerful features altogether, such as, multiple inheritance, dynamic overloading and copy semantics of inheritance. In this paper we present a core object-oriented imperative language that integrates all these features in a formal framework. We define a static type system and a translation of the language into the meta-language , in order to account for semantic issues and prove type safety of our proposal. ...

Kinematic criteria of dynamic shakedown extended to nonassociative constitutive laws with saturation nonlinear hardening

Alberto Corigliano, Giulio Maier, Slawomir Pycko (1995)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

The class of elastic-plastic material models considered allows for nonassociativity, nonlinear hardening and saturation in the sense that the static internal variables are constrained by a bounding surface described through convex bounding functions. With reference to finite element, generalized variables discretization in space, two dynamic shakedown criteria are established by a kinematic approach in Koiter's sense, based on weak constitutive restrictions and centered on two suitable...