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.

Artificial intelligence, Programming, Virtual Machines, Data Types

---

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.

Ergonomics, Tables (Furniture), Comparison, Charts, Data Management, Psychological Issue, Tables, Graphs, Graphic Forms

---

Similar abstracts:

• 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

This website is not affiliated with document authors or copyright owners. This page is provided for informational purposes only. Unintentional errors are possible.