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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
A feature-oriented product line is a family of programs that share a common set of features. A feature implements a stakeholder’s… (More)
  • figure 1
  • figure 2
  • figure 5
  • figure 7
  • figure 8
Is this relevant?
Highly Cited
2009
Highly Cited
2009
We introduce the blame calculus, which adds the notion of blame from Findler and Felleisen’s contracts to a system similar to… (More)
Is this relevant?
Highly Cited
2008
Highly Cited
2008
A software product line (SPL) is an efficient means to generate a family of program variants for a domain from a single code base… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2005
Highly Cited
2005
This article describes CCured, a program transformation system that adds type safety guarantees to existing C programs. CCured… (More)
  • figure 2
  • figure 3
  • figure 4
  • figure 6
  • figure 7
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
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1999
Highly Cited
1999
In this article we present Bali the formalization of a large hitherto sequential sublanguage of Java We give its abstract syntax… (More)
Is this relevant?
Highly Cited
1999
Highly Cited
1999
The goal of typed assembly language (TAL) is to provide a low-level, statically typed target language that is better suited than… (More)
  • table 1
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Session primitives and types provide a flexible programming style for structural interaction, and are used to statically check… (More)
  • 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… (More)
Is this relevant?