2335 search results - page 32 / 467 » Type Checking Type Classes |
ECOOP
2012
Springer
11 years 11 months ago
2012
Springer
Ownership type systems describe a heap topology and enforce an encapsulation discipline; they aid in various program correctness and understanding tasks. However, the annotation ov...
CMSB
2006
Springer
14 years 16 days ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
SAS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...
OOGRAPHICS
1992
14 years 26 days ago
1992
An object-oriented design is presented for building interactive 3D graphics applications. The design takes the form of a library of classes written in Eiffel, an object oriented l...
CORR
2004
Springer
13 years 8 months ago
2004
Springer
A class of one-dimensional convolutional codes will be presented. They are all MDS codes, i. e., have the largest distance among all one-dimensional codes of the same length n and...