DI: An interactive debugging interpreter for applicative languages
The DI interpreter is both a debugger and interpreter of SISLAL programs. Its use as a program interpreter is only a small part of its role; it is designed to be a tool for studying compilation techniques for applicative languages. DI interprets dataflow graphs expressed in the IF1 and IF2 languages, and is heavily instrumented to report the activity of dynamic storage activity, reference counting, copying and updating of structured data values. It also aids the SISAL language evaluation by providing an interim execution vehicle for SISAL programs. DI provides determinate, sequential interpretation of graph nodes for sequential and parallel operations in a canonical order. As a debugging aid, DI allows tracing, breakpointing, and interactive display of program data values. DI handles creation of SISAL and IF1 error values for each data type and propagates them according to a well-defined algebra. We have begun to implement IF1 optimizers and have measured the improvements with DI.
- Research Organization:
- Lawrence Livermore National Lab., CA (USA); Colorado State Univ., Fort Collins (USA)
- DOE Contract Number:
- W-7405-ENG-48
- OSTI ID:
- 6560017
- Report Number(s):
- UCRL-95709; CONF-870675-1; ON: DE87006822
- Resource Relation:
- Conference: Association for Computing Machinery/Special Interest Group on Programming Language symposium: interpreters and interpretive techniques, St. Paul, MN, USA, 24 Jun 1987; Other Information: Portions of this document are illegible in microfiche products
- Country of Publication:
- United States
- Language:
- English
Similar Records
SISAL. Parallel Machine Data-Flow Language
Proceedings: Sisal `93