A typing system for software development environments

The authors propose a typing system for tools and objects based on the comparison of attributes that are associated with objects with expressions on these attributes that are associated with tools. This system allows static type checking of command lines having arguments that can be simple objects,...

Full description

Saved in:
Bibliographic Details
Main Authors: Jamart, P., Baudhuin, A., Vandersmissen, M., Vanhoedenaghe, M.
Format: Conference Proceeding
Language:English
Subjects:
Command languages
Computer languages
Concrete
Contracts
Data models
Environmental management
Kernel
Programming
Project management
Software tools
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The authors propose a typing system for tools and objects based on the comparison of attributes that are associated with objects with expressions on these attributes that are associated with tools. This system allows static type checking of command lines having arguments that can be simple objects, structured objects, or families of objects. The concepts are general enough to be used not only in software development environments, but also in other CAD environments.< >
DOI:10.1109/CMPEUR.1988.4960