Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Abstract type

Known as: ABC, Abstract base class, Abstract 
In programming languages, an abstract type is a type in a nominative type system that cannot be instantiated directly. Abstract types are also known… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2018
Review
2018
Abstract Class-imbalance learning is one of the most challenging problems in machine learning. As a new and important direction… Expand
Highly Cited
2010
Highly Cited
2010
Object composition offers significant advantages over class inheritance to develop a flexible software architecture for finite… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
2006
Highly Cited
2006
This paper presents FRACTAL, a hierarchical and reflective component model with sharing. Components in this model can be endowed… Expand
Highly Cited
2004
Highly Cited
2004
Web services are becoming the prominent paradigm for distributed computing and electronic business. This has raised the… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Highly Cited
1999
Highly Cited
1999
Contents of Volume One: Preface. Contributors. B. Jahne, Introduction. Illumination and Image Formation. H. Hausecker, Radiation… Expand
  • table 1.1
  • table 1.2
  • table 1.3
  • figure 2.1
  • table 2.1
Highly Cited
1998
Highly Cited
1998
methods are a powerful construct in the object-oriented paradigm. To understand abstract methods, we look at the notion of an… Expand
Review
1996
Review
1996
HOL Light is a new version of the HOL theorem prover. While retaining the reliability and programmability of earlier versions, it… Expand
Highly Cited
1993
Highly Cited
1993
This monograph addresses the use of formal specification languages and supporting tools. Concentrating on the Larch specification… Expand
  • figure 1.2
  • figure 3.1
  • figure 3.9
  • figure 4.8
  • figure 4.9
Highly Cited
1993
Highly Cited
1993
This manual describes a Prolog system developed at the Swedish Institute of Computer Science. Parts of the system were developed… Expand
Highly Cited
1987
Highly Cited
1987
Emerald is an object-based language for programming distributed subsystems and applications. Its novel features include 1) a… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 4
  • table I