1120 search results - page 58 / 224 » C Elements of Style |
144
Voted
CORR
2004
Springer
15 years 5 months ago
2004
Springer
We show that the first-order theory of structural subtyping of non-recursive types is decidable. Let be a language consisting of function symbols (representing type constructors)...
162
click to vote
ISKI
1992
15 years 9 months ago
1992
One of the objectives of ooDBMSs is to use type-speci c methods for manipulating objects, in order to maintain the consistency of the database. This is, however, little help for t...
138
click to vote
ECOOP
1987
Springer
15 years 8 months ago
1987
Springer
``Object-Oriented Programming'' and ``Data Abstraction'' have become very common terms. Unfortunately, few people agree on what they mean. I will offer informa...
244
click to vote
Publication
I. Introduction
II. Foundations
A. The Mathematical Structure of Physical Field Theories
B. Geometric Objects and Orientation
1. Space-Time Object...
125
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper proposes an extension of the UML 2.0 profiling mechanism. This extension facilitates a language designer to introduce composite concepts as separate conceptual...