Guarantees and requirements : implementation and complexity analysis of a new model of types for declarative visual programming languages Public Deposited

http://ir.library.oregonstate.edu/concern/graduate_thesis_or_dissertations/qv33s111v

Descriptions

Attribute NameValues
Creator
Abstract or Summary
  • Djang et al. [1998] introduced a new model of types for declarative visual programming languages (VPLs). Implicit static typing is used in their type model, in order to eliminate the programming mechanisms associated with type declarations, provide immediate visual feedback with respect to type errors and guarantee type safe programs. Their type model also evaluates types on a level of granularity that is finer than in previous approaches to types. Instead of evaluating types on the basis of abstract names, their model determines a set of operations that an object guarantees and compares this set to the set of operations this object is required to support. If the set of required operations is a subset of the set of guaranteed operations, then the object is considered type safe. This granularity provides their model with the ability to support inheritance without introducing explicit type declarations and to communicate type errors to users without requiring the user to understand a large set of terminology. These features of their model attempt to provide VPL users with more powerful programming capabilities without the introduction of a high learning curve. In this thesis, an implementation of the Djang et al.'s model of types is presented. Data structures and algorithms are developed that conform to the axioms prescribed by Djang et al. The space and time complexity analyses for our data structures and algorithms are examined. Our implementation provides new insights into the cost and performance of the Djang et al.'s type model.
Resource Type
Date Available
Date Copyright
Date Issued
Degree Level
Degree Name
Degree Field
Degree Grantor
Commencement Year
Advisor
Academic Affiliation
Non-Academic Affiliation
Subject
Rights Statement
Peer Reviewed
Language
Digitization Specifications
  • File scanned at 300 ppi (Monochrome) using Capture Perfect 3.0 on a Canon DR-9050C in PDF format. CVista PdfCompressor 4.0 was used for pdf compression and textual OCR.
Replaces
Additional Information
  • description.provenance : Submitted by Sergio Trujillo (jstscanner@gmail.com) on 2012-09-07T22:07:41Z No. of bitstreams: 1 ChenRogerDingFu2000.pdf: 4936225 bytes, checksum: 8931e8f17235d3d9e90f0a0a8f4edcb7 (MD5)
  • description.provenance : Approved for entry into archive by Patricia Black(patricia.black@oregonstate.edu) on 2012-09-10T16:36:33Z (GMT) No. of bitstreams: 1 ChenRogerDingFu2000.pdf: 4936225 bytes, checksum: 8931e8f17235d3d9e90f0a0a8f4edcb7 (MD5)
  • description.provenance : Made available in DSpace on 2012-09-10T16:38:58Z (GMT). No. of bitstreams: 1 ChenRogerDingFu2000.pdf: 4936225 bytes, checksum: 8931e8f17235d3d9e90f0a0a8f4edcb7 (MD5) Previous issue date: 1999-09-09
  • description.provenance : Approved for entry into archive by Patricia Black(patricia.black@oregonstate.edu) on 2012-09-10T16:38:58Z (GMT) No. of bitstreams: 1 ChenRogerDingFu2000.pdf: 4936225 bytes, checksum: 8931e8f17235d3d9e90f0a0a8f4edcb7 (MD5)

Relationships

Parents:

This work has no parents.

Last modified

Downloadable Content

Download PDF

Items