Loading...
Please wait, while we are loading the content...
Similar Documents
Space-efficient manifest contracts.
| Content Provider | CiteSeerX |
|---|---|
| Author | Greenberg, Michael |
| Abstract | Gradual types mediate the interaction between dynamic and simple types, offering an easy transition from scripts to programs; gradual types allow programmers to evolve prototype scripts into fully fledged, deployable programs. Similarly, contracts and refinement types mediate the interaction between simple types and more precise types, offering an easy transition from programs to robust, verified programs. A full-spectrum language with both gradual and refinement types offers low-level support for the development of programs throughout their lifecycle, from prototype script to verified program. One attractive formulation of languages with gradual or refinement types uses casts to represent the runtime checks necessary for type changes (from dynamic to simple types, and from simple types to refinement types). Briefly, a cast 〈T1 ⇒ T2 〉 e takes |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Simple Type Space-efficient Manifest Contract Refinement Type Gradual Type Prototype Script Easy Transition Deployable Program Precise Type Verified Program Type Change Full-spectrum Language Cast T1 T2 Runtime Check Attractive Formulation Low-level Support |
| Content Type | Text |
