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

Type safety

Known as: Type-safe, Type soundness, Type error 
In computer science, type safety is the extent to which a programming language discourages or prevents type errors. A type error is erroneous or… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
This paper presents ABS, an abstract behavioral specification language for designing executable models of distributed object… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2009
Highly Cited
2009
Traditional adaptive methods that compensate for PVT variations need safety margins and cannot respond to rapid environmental… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2008
Highly Cited
2008
In this paper, we propose a new concept - the "Reciprocal Velocity Obstacle"- for real-time multi-agent navigation. We consider… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2006
Highly Cited
2006
XFI is a comprehensive protection system that offers both flexible access control and fundamental integrity guarantees, at any… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Despite decades of research in extensible operating system technology, extensions such as device drivers remain a significant… Expand
  • figure 1
  • figure 2
  • table I
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2003
Highly Cited
2003
This paper presents a type-based information flow analysis for a call-by-value λ-calculus equipped with references, exceptions… Expand
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Assertions play an important role in the construction of robust software. Their use in programming languages dates back to the… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Disclosed is a machinery operator protection system and method, which inhibits the use of machinery unless the operator of the… Expand
Is this relevant?
Highly Cited
1998
Highly Cited
1998
We introduce basic language constructs and a type discipline as a foundation of structured communication-based concurrent… Expand
  • figure 1
  • 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… Expand
Is this relevant?