Const (computer programming)

Known as: Const, Const correctness, Const-correctness 
In the C, C++, D, and JavaScript programming languages, const is a type qualifier: a keyword applied to a data type that indicates that the data is… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2006
Highly Cited
2006
Syntax We distinguish between two different kinds of constraints: built-in (pre-defined) constraints which are solved by a built… (More)
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Wireless sensor networks are considered the sensing technology of the future. Large numbers of untethered sensor nodes can be… (More)
Is this relevant?
Highly Cited
2003
Highly Cited
2003
type Discrete type moving(int) mapping(const(int)) moving(string) mapping(const(string)) moving(bool) mapping(const(bool)) moving… (More)
  • table 2
  • table 1
  • table 4
  • table 3
  • table 5
Is this relevant?
Highly Cited
2001
Highly Cited
2001
  • S. Michael Fall, Qing Zhang
  • 2001
We present a series of simple, largely analytical models to compute the effects of disruption on the mass function of star… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2000
Highly Cited
2000
The Internet enables connectivity between many strangers entities that don't know each other. We present the Trust Policy… (More)
Is this relevant?
Highly Cited
1999
Highly Cited
1999
We describe a framework for adding type qualifiers to a language. Type qualifiers encode a simple but highly useful form of… (More)
  • figure 1
  • figure 4
  • table 1
  • table 2
Is this relevant?
Highly Cited
1998
Highly Cited
1998
The main problem in differentiator design is to combine differentiation exactness with robustness in respect to possible… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1997
Highly Cited
1997
We study what we call \Dyadic CART" { a method of nonparametric regression which constructs a recursive partition by optimizing a… (More)
Is this relevant?
Highly Cited
1996
Highly Cited
1996
Abstmt-This paper describes a method for constructing a Petri net controller for a discrete event system modeled by a Petri net… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1991
Highly Cited
1991
We develop a calculus for lazy functional programming based on recursion operators associated with data type definitions. For… (More)
Is this relevant?