Results 261 to 270 of about 1,067,207 (315)
Correction to "Senescence-Driven Remodeling Defines an Aggressive and Immunomodulatory Subtype of Endometriosis". [PDF]
Aging Celleuropepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
ACM Transactions on Programming Languages and Systems, 1996
A relation between recursive object types, called matching , has been proposed as a generalization of subtyping. Unlike subtyping, matching does not support subsumption, but it does support inheritance of binary methods. We argue that matching is a good idea, but that it should not be regarded as a form of F-bounded
Martín Abadi, Luca Cardelli
openaire +1 more source
A relation between recursive object types, called matching , has been proposed as a generalization of subtyping. Unlike subtyping, matching does not support subsumption, but it does support inheritance of binary methods. We argue that matching is a good idea, but that it should not be regarded as a form of F-bounded
Martín Abadi, Luca Cardelli
openaire +1 more source
Subtypes for specifications: predicate subtyping in PVS
IEEE Transactions on Software Engineering, 1998A specification language used in the context of an effective theorem prover can provide novel features that enhance precision and expressiveness. In particular, type checking for the language can exploit the services of the theorem prover. We describe a feature called "predicate subtyping" that uses this capability and illustrate its utility as ...
John M. Rushby +2 more
openaire +1 more source
2016
Several cells are endowed in the interstitial space of the connective tissue; among them, a peculiar type has been recently described and named telocyte (TC). The increasing interest on this cell type has allowed identifying it in almost all the organs.
Vannucchi, MG, Faussone-Pellegrini, MS
openaire +2 more sources
Several cells are endowed in the interstitial space of the connective tissue; among them, a peculiar type has been recently described and named telocyte (TC). The increasing interest on this cell type has allowed identifying it in almost all the organs.
Vannucchi, MG, Faussone-Pellegrini, MS
openaire +2 more sources
2012
Various approaches have recently been proposed to ease the manipulation of models for specific purposes (e.g., automatic model adaptation or reuse of model transformations). Such approaches raise the need for a unified theory that would ease their combination, but would also outline the scope of what can be expected in terms of engineering to put model
Clément Guy +4 more
openaire +2 more sources
Various approaches have recently been proposed to ease the manipulation of models for specific purposes (e.g., automatic model adaptation or reuse of model transformations). Such approaches raise the need for a unified theory that would ease their combination, but would also outline the scope of what can be expected in terms of engineering to put model
Clément Guy +4 more
openaire +2 more sources
Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90, 1990
In typed object-oriented languages the subtype relation is typically based on the inheritance hierarchy. This approach, however, leads either to insecure type-systems or to restrictions on inheritance that make it less flexible than untyped Smalltalk inheritance.
William R. Cook +2 more
openaire +1 more source
In typed object-oriented languages the subtype relation is typically based on the inheritance hierarchy. This approach, however, leads either to insecure type-systems or to restrictions on inheritance that make it less flexible than untyped Smalltalk inheritance.
William R. Cook +2 more
openaire +1 more source