Type-Checking in an Untyped Language
Article Abstract:
A program, TYPER, helps the user with type-checking in POP-11 without imposing undesirable constraints on the user. By calling system functions and examining what happens on all possible execution paths, one can analyze the arguments and results of user functions when static type checking is not suitable. TYPER was designed to be unobstrusive, conservative and simple, and based on two techniques: symbolic evaluation and execution path analysis. Since there is not much working space for POP-11 and TYPER on the PDP-11-39, the data flow analysis sort time is acceptable for a prototype but intolerable for larger programs when intermediate results have to be stored and retrieved from disc.
Publication Name: International Journal of Man-Machine Studies
Subject: Engineering and manufacturing industries
ISSN: 0020-7373
Year: 1984
User Contributions:
Comment about this article or add new information about this topic:
An Experimental Comparison of Tabular and Graphic Data Presentation
Article Abstract:
Vast quantities of data are typically condensed into comprehensible forms such as tables, charts or graphs. Much controversy exists about which form is best. An experiment was conducted to determine whether graphs, tables or a combination conveyed the most usable information. The independent variables were memory and form. Ease of comprehension and accuracy of recall were measured. Results show that the combination of forms produced slower but more accurate performances.
Publication Name: International Journal of Man-Machine Studies
Subject: Engineering and manufacturing industries
ISSN: 0020-7373
Year: 1984
User Contributions:
Comment about this article or add new information about this topic:
- Abstracts: Fuzzy Sets and Generalized Boolean Retrieval Systems. Expert Systems and Information Retrieval: An Experiment in the Domain of Biographical Data Management
- Abstracts: An Experimental Evaluation of Delimiters in a Command Language Syntax. An Experimental Study of Natural Language Programming
- Abstracts: The simulation of decentralized control: a hostless resource allocation model. Simulation Example in Water Resource Management
- Abstracts: The Heart of Integration: a Sound Data Base. Collecting Data in 3-D. Securing Data Banks
- Abstracts: Japan telecommunications at the crossroads. Data communications