Refined Types: Highly Differentiated Type Systems and Their Use in the Design of Intermediate Langages.
John R. RosePublished in: PLDI (1988)
Keyphrases
- interactive systems
- building blocks
- design issues
- embedded systems
- operating environment
- human computer interface
- design tools
- design criteria
- computer systems
- management system
- user interface
- mechanical systems
- low cost
- databases
- multiple types
- design automation
- design principles
- optimal design
- complex systems
- design process
- case study
- artificial intelligence
- real world