FAQ

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

Related topics

Related topics

13 relations
C++Computer scienceGarbage collection (computer science)Generic programming
(More)

Broader (1)

Java

Related mentions per year

Related mentions per year

1937-2018
19401960198020002020
Object type (object-oriented programming)
Computer science
Java
C++
Generic programming
Garbage collection (computer science)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2005
Highly Cited
2005
An infrastructure for development of object-oriented, multi-level configuration management services
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 Object Types
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
Behavior-consistent specialization of object life cycles
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
Object Types against Races
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
Recursive Object Types in a Logic of Object-Oriented Programs
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
A Concurrent Object Calculus: Reduction and Typing
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
An Interpretation of Objects and Object Types
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
A Type-Theoretic Basis for an Object-Oriented Refinement Calculus
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
Semantics and verification of object-role models
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
Object-Oriented Database Programming
  • 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?