7529 search results - page 120 / 1506 » The Modula-3 Type System |
178
click to vote
SIGSOFT
2006
ACM
15 years 10 months ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...
164
click to vote
POPL
1997
ACM
15 years 8 months ago
1997
ACM
Type systems currently available for imperative languages are too weak to detect a significant class of programming errors. For example, they cannot express the property that a l...
101
click to vote
ICPR
2006
IEEE
16 years 5 months ago
2006
IEEE
This article deals with an Oriented-Contour Point based voting algorithm for multiclass vehicle type identification (make and model). The system obtains similar results for equiva...
244
click to vote
POPL
2006
ACM
16 years 4 months ago
2006
ACM
We exhibit the rationale behind the design of Epigram, a dependently typed programming language and interactive program development system, using refinements of a well known progr...
123
click to vote
PROCOMET
1998
15 years 5 months ago
1998
We introduce a type assignment system which is parametric with respect to five families of trees obtained by evaluating -terms (B