PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Asirelli P., Degano P., Lami C., Levi G., Martelli A., Montanari U., Pacini G., Sirovich F., Turini F. A flexible environment for program development based on a symbolic interpreter. In: 4th International Conference on Software Engineering (Munich, 1979). Proceedings, pp. 251 - 263. (IEEE Computer Society). 1979.
 
 
Abstract
(English)
The paper describes an interactive programming system which provides an integrated collectcion of tools for dealing with the whole process of program development. The pivot tool, the symbolic interpreter, may cover a broad range of applications, From testing to correctness Proving.The aspects in which the symbolic interpreter diFFers from a conventional interpreter, ice. the possibility of handling nondeterminis tic branching at choice points and the presence oF a system For manipulating symbulic expressions, are described. Furthermore, the main Features of a programming language, around which the programming system is built, are presented.
Subject


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional