Index Catalog // ScholarsArchive@OSU

Start Over

Filtering by: Advisor Burnett, Margaret M. Creator Chen, Roger Ding-Fu

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

Creator:

Chen, Roger Ding-Fu

Abstract:

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....

Resource Type:

Masters Thesis