| 1. |
- Fritzson, Peter, 1952-
(author)
-
Towards a distributed programming environment based on incremental compilation
- 1984
-
Doctoral thesis (other academic/artistic)abstract
- A Programming Environment is a system that provides computer assistance during software development and maintenance. The primary objective of this work concerns practically usable methods and tools in the construction of incremental and integrated programming environments that provide good support for debugging and testing of programs in a distributed context, in our case a host-target configuration. Such a system, called DICE-Distributed Incremental Compiling Environment, has been constructed and currently supports development of PASCAL programs. Three of the papers in this volume are concerned with this topic.It is demonstrated how powerful symbolic debuggers may be implemented with the aid of an incremental compiler. Methods for statement-level incremental compilation are described. Strategies suitable for implementing programming environments are discussed and exemplified by the DICE system. Some preliminary experience from the use of the prototype version of the DICE system is given. The concept of Consistent Incremental Compilation is defined, both informally and by algebraic methods. A semi-form al description of the architecture of the DICE system is presented. Many aspects of this system description are relevant for a large class of programming environments of this kind. Problems that arise from allowing mixed execution and program editing are also considered.One of the tools in a programming environment is the prettyprinter. The topic of the fourth paper is the automatic generation of prettyprinters. A language-independent algorithm for adaptive prettyprinting is described together with its application to ADA and PASCAL. Problems associated with the representation and prettyprinting of comments in abstract syntax trees are discussed together with some solutions.
|
|
| 2. |
- Noz, Marilyn E., et al.
(author)
-
A Pictorial Database
- 1984
-
In: Administrative Radiology. - : Association Of University Radiologists. - 0738-6974. ; 3:11, s. 36-39
-
Journal article (peer-reviewed)
|
|
| 3. |
|
|
| 4. |
|
|
| 5. |
|
|
| 6. |
|
|
| 7. |
|
|
| 8. |
|
|
| 9. |
- Taylor, Stephen, et al.
(author)
-
Logic Programming using Parallel Associative Operations
- 1984
-
Conference paper (peer-reviewed)abstract
- In order to provide performance improvements in the execution of large logic programs, it is highly desirable to investigate the relationships between logic, data-base systems and knowledge-based systems in the context of massively parallel architectures. This paper presents a model for the interpretation of logic programs in this type of environment and overviews the algorithms under development. An interpreter that implements the model has been demonstrated in simulations on a number of small programs. Implementation requires only a small set of hardware primitives be available, these have been successfully implemented on a working prototype machines. DADO Current research aims to develop the model into a practical and efficient logic programming system for use on the machine.
|
|
| 10. |
|
|
