Download now Free registration required
X10 is a modern object-oriented language designed for productivity and performance in concurrent and distributed systems. In this paper, dependent types offer significant opportunities for detecting design errors statically, documenting design decisions, eliminating costly runtime checks, and improving the quality of generated code. The design and implementation of constrained types, a natural, simple, clean, and expressive extension to object-oriented programming: A type C (:c) names a class or interface C and a constraint c on the immutable state of C and in-scope final variables is presented. Constraints may also be associated with class definitions and with method and constructor definitions. Dynamic casting is permitted.
- Format: PDF
- Size: 192.3 KB