7529 search results - page 138 / 1506 » The Modula-3 Type System |
199
click to vote
PSD
2004
Springer
15 years 10 months ago
2004
Springer
In an on-line statistical database, the query-answering system should prevent answers to statistical queries from leading to disclosure of confidential data. On the other hand, a s...
143
click to vote
ICARIS
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The paper makes an attempt to introduce a new approach for detection of local singularities in signals, including one-dimensional time series and two-dimensional images. ...
120
click to vote
SAS
2007
Springer
15 years 10 months ago
2007
Springer
Type constraints express subtype-relationships between the types of program expressions that are required for type-correctness, and were originally proposed as a convenient framewo...
120
click to vote
SAS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The race condition checker rccjava uses a formal type system to statically identify potential race conditions in concurrent Java programs, but it requires programmer-supp...
138
click to vote
ACSC
2004
IEEE
15 years 8 months ago
2004
IEEE
Types are fundamental for enforcing levels of abstraction in modern high-level programming languages and their lower-level representations. However, some type-related features suc...