Programming Languages White Papers
Constrained Types for Object-Oriented Languages
Overview 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.
| Publisher | IBM | File Format | |
|---|---|---|---|
| Date Published | February 2008 | ||
| Format | White Papers | ||
| Topics | |||
-
Did you find this white paper useful? 0 out of 1 users found this white paper useful
White Paper RSSCitizants: Bringing IT In-House
DownloadCitizant enhances IT flexibility and scalability by creating a virtualized Dell infrastructure that will pay for itself in 18 months.
Designing High Availability for Internet Information Services
End downtime forever! - Organizations today are relying more and more on Web services for the implementation of mission-critical applications. With the advent of Service-Oriented Architectures (SOAs),which make extensive use...
Five JavaScript Frameworks: A Point-by-Point Comparison
There are a multitude of JavaScript frameworks available today for programming rich client-side interactions in web applications. With many such different options, it is important to choose a framework that...
Increase Reliability with IBM WebSphere File Transfer Edition (FTE)
"Does your organization still use FTP software? Did you know these links require 3 to 4 times more time and effort to build and maintain versus SOA-based Application Integration projects?...
Energy Monitoring Firm Saves Money, Scales Business With Hosted Computing Platform
Advanced Telemetry develops systems to help businesses monitor and control energy usage, onsite or via the Internet. The company employees 22 people. Advanced Telemetry needed a cost-effective way to scale...
