Type system

Known as: Type checking, Dynamically typed, Type-checker 
In programming languages, a type system is a collection of rules that assign a property called type to various constructs a computer program consists… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
Today's shared-memory parallel programming models are complex and error-prone.While many parallel programs are intended to be… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Traditionally, statically typed programming languages incorporate a built-in static type system. This system is typically… (More)
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic… (More)
  • figure 1
  • table 1
  • figure 2
Is this relevant?
Highly Cited
2002
Highly Cited
2002
This paper presents a new static type system for multithreaded programs; well-typed programs in our system are guaranteed to be… (More)
Is this relevant?
Highly Cited
2002
Highly Cited
2002
In this paper we propose a scheme that combines type inference and run-time checking to make existing C programs type safe. We… (More)
Is this relevant?
Highly Cited
2000
Highly Cited
2000
This paper presents a static race detection analysis for multithreaded Java programs. Our analysis is based on a formal type… (More)
  • figure 1
  • table 1
  • figure 4
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Object-oriented programming languages allow inter-object aliasing. Although necessary to construct linked data structures and… (More)
Is this relevant?
Highly Cited
1996
Highly Cited
1996
type: A data type whose nature is kept hidden, in such a way that only a predetermined collection of operations can operate on it… (More)
Is this relevant?
Highly Cited
1996
Highly Cited
1996
Ensuring secure information ow within programs in the context of multiple sensitivity levels has been widely studied. Especially… (More)
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1994
Highly Cited
1994
We present a new approach to proving type soundness for Hindley/Milner-style polymorphic type systems. The keys to our approach… (More)
Is this relevant?