Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
Object composition offers significant advantages over class inheritance to develop a flexible software architecture for finite… 
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… 
Highly Cited
1999
Highly Cited
1999
Contents of Volume One: Preface. Contributors. B. Jahne, Introduction. Illumination and Image Formation. H. Hausecker, Radiation… 
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… 
Review
1996
Review
1996
  • J. Harrison
  • Formal Methods in Computer-Aided Design
  • 1996
  • Corpus ID: 18824087
HOL Light is a new version of the HOL theorem prover. While retaining the reliability and programmability of earlier versions, it… 
Highly Cited
1993
Highly Cited
1993
This monograph addresses the use of formal specification languages and supporting tools. Concentrating on the Larch specification… 
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… 
Highly Cited
1988
Highly Cited
1988
Highly Cited
1987
Highly Cited
1987
Emerald is an object-based language for programming distributed subsystems and applications. Its novel features include 1) a…