2596 search results - page 187 / 520 » Gradual Typing for Objects |
128
click to vote
ALIFE
2006
15 years 4 months ago
2006
It has been argued that a central objective of nanotechnology is to make products inexpensively, and that self-replication is an effective approach to very low-cost manufacturing....
134
click to vote
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The speonstraint expressed is that the abstract state of the object to whi...
121
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
The concept of a "unique" object arises in many emerging programming languages such as Clean, CQual, Cyclone, TAL, and Vault. In each of these systems, unique objects ma...
143
click to vote
ICCV
2003
IEEE
16 years 6 months ago
2003
IEEE
This paper presents a method to estimate geometrical, photometrical, and environmental information of a singleviewed object in one integrated framework under fixed viewing positio...
232
click to vote
ASPLOS
2009
ACM
16 years 4 months ago
2009
ACM
Managed languages improve programmer productivity with type safety and garbage collection, which eliminate memory errors such as dangling pointers, double frees, and buffer overfl...