Skip to search formSkip to main contentSkip to account menu

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

Related topics

Related topics

49 relations
ACM Turing AwardAbstract data typeAggregate patternBuffer over-read

Broader (1)

Type theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
RADISH: Always-on sound and complete race detection in software and hardware
Data-race freedom is a valuable safety property for multithreaded programs that helps with catching bugs, simplifying memory… 
2010
2010
Low Viscosity Pore Fluid to Manufacture Transparent Soil
Transparent soil has been investigated for its potential as a substitute research media for natural soil. The mechanism for… 
2006
2006
Towards Improving the Utilisation of University Teaching Space
. There is a perception that teaching space in universities is a rather scarce resource. However, some studies have revealed that… 
Highly Cited
2006
Highly Cited
2006
Use of herbal medicines by pregnant women in Shahr-e-Kord
Abstract Introduction: Researchers have shown that herbal medicines are used by a large portion of pregnant women. Herbs are… 
Highly Cited
2006
Highly Cited
2006
Type-safe disks
We present the notion of a type-safe disk (TSD). Unlike a traditional disk system, a TSD is aware of the pointer relationships… 
Highly Cited
2005
Highly Cited
2005
L2(H1 Norm A PosterioriError Estimation for Discontinuous Galerkin Approximations of Reactive Transport Problems
Explicita posteriori residual type error estimators in L2(H1) norm are derived for discontinuous Galerkin (DG) methods applied to… 
Highly Cited
2002
Highly Cited
2002
Advances in Object-Oriented Information Systems
Class specialization is undoubtedly one of the most original and powerful features of object orientation as it structures object… 
1999
1999
Three Tactic Theorem Proving
We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic… 
Highly Cited
1998
Highly Cited
1998
Adaptive Fault-Tolerant Routing in Cube-Based Multicomputers Using Safety Vectors
  • Jie Wu
  • IEEE Trans. Parallel Distributed Syst.
  • 1998
  • Corpus ID: 12941596
Reliable communication in cube-based multicomputers using the safety vector concept is studied in this paper. In our approach… 
Review
1994
Review
1994
Notes on Typed Object-Oriented Programming
This paper, which is partly tutorial in nature, summarizes some basic research goals in the study and development of typed object… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)