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

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… Expand
Wikipedia

Related topics

Related topics

50 relations
ACM Computing SurveysALGOL WAbstract data typeBounds checking
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2018
Review
2018
A Review on Cooperative Adaptive Cruise Control (CACC) Systems: Architectures, Controls, and Applications
Connected and automated vehicles (CAVs) have the potential to address the safety, mobility and sustainability issues of our… Expand
  • figure 1
  • figure 2
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… Expand
  • figure 1
  • table 1
  • figure 2
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Taming heterogeneity - the Ptolemy approach
Modern embedded computing systems tend to be heterogeneous in the sense of being composed of subsystems with very different… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2001
Highly Cited
2001
New Lyapunov-Krasovskii functionals for stability of linear retarded and neutral type systems
  • E. Fridman
  • Syst. Control. Lett.
  • 2001
    • Corpus ID: 43014013
Abstract A new (descriptor) model transformation and a corresponding Lyapunov–Krasovskii functional are introduced for stability… Expand
Is this relevant?
Highly Cited
1999
Highly Cited
1999
JFlow: practical mostly-static information flow control
A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within… Expand
  • figure 3
  • figure 9
  • figure 10
  • figure 12
  • figure 13
Is this relevant?
Highly Cited
1996
Highly Cited
1996
A Sound Type System for Secure Flow Analysis
Ensuring secure information flow within programs in the context of multiple sensitivity levels has been widely studied… Expand
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1996
Highly Cited
1996
The Java Language Specification
From the Publisher: Written by the inventors of the technology, The Java(tm) Language Specification, Second Edition is the… Expand
  • table 4.1
  • table 5.1
  • table 5.2
  • table 15.1
  • table 15.2
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Notions of Computation and Monads
  • E. Moggi
  • Inf. Comput.
  • 1991
    • Corpus ID: 12767331
Abstract The λ-calculus is considered a useful mathematical tool in the study of programming languages, since programs can be… Expand
  • table 1
  • table 2
  • table 3
  • table 5
  • table 6
Is this relevant?
Highly Cited
1985
Highly Cited
1985
The lambda calculus - its syntax and semantics
  • H. Barendregt
  • Studies in logic and the foundations of…
  • 1985
    • Corpus ID: 58318238
Towards the Theory. Introduction. Conversion. Reduction. Theories. Models. Conversion. Classical Lambda Calculus. The Theory of… Expand
Is this relevant?
Highly Cited
1977
Highly Cited
1977
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
A program denotes computations in some universe of objects. Abstract interpretation of programs consists in using that denotation… Expand
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE