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

Related topics

Related topics

50 relations
ACM Computing SurveysALGOL WAbstract data typeBounds checking
(More)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
A type and effect system for deterministic parallel Java
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
Pluggable Type Systems
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
A type and effect system for atomicity
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
Ownership types for safe programming: preventing data races and deadlocks
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
CCured: type-safe retrofitting of legacy code
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
Type-based race detection for Java
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
Ownership Types for Flexible Alias Protection
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 Systems
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
A Sound Type System for Secure Flow Analysis
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
A Syntactic Approach to Type Soundness
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?