Object type (object-oriented programming)

Known as: Boxing (disambiguation), Java.lang.Double, Autoboxing 
In computer science, an object type (a.k.a. wrapping object) is a datatype which is used in object-oriented programming to wrap a non-object type to… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1946-2017
020406019462016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2005
Highly Cited
2005
In an integrated development environment, the ability to manage the evolution of a software system in terms of logical… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Regular expression types have been proposed as a foundation for statically typed processing of XML and similar forms of tree… (More)
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Object-oriented design methodologies represent the behavior of instances of an object type not merely by a set of operations, but… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
Highly Cited
1999
Highly Cited
1999
This paper investigates an approach for statically preventing race conditions in an object-oriented language. The setting of this… (More)
Is this relevant?
1998
1998
This paper formalizes a small object-oriented programming notation. The notation features imperative commands where objects can… (More)
Is this relevant?
Highly Cited
1998
Highly Cited
1998
We obtain a new formalism for concurrent object-oriented languages by extending Abadi and Cardelli’s imperative object calculus… (More)
Is this relevant?
1996
1996
We present an interpretation of typed object-oriented concepts in terms of well-understood, purely procedural concepts. More… (More)
  • table 1
  • table 3
  • table 5
  • table 7
  • table 8
Is this relevant?
1996
1996
This paper addresses the issue of giving a formal semantics to an object-oriented programming and specification language. Object… (More)
Is this relevant?
Highly Cited
1991
Highly Cited
1991
In this paper we formalise data models that are based on the concept of predicator, the combination of an object type and a role… (More)
Is this relevant?
1989
1989
  • Suad Alagic
  • Texts and Monographs in Computer Science
  • 1989
ion, Localization, Refinement, and Incremental Design The term conceptual modeling in this book refers to the specification of… (More)
  • figure I
  • figure 3
Is this relevant?