Index Catalog // ScholarsArchive@OSU

Start Over

Filtering by: Creator Chen, Roger Ding-Fu Non-Academic Affiliation Oregon State University. Graduate School

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