An interactive programming system is described which provides an integrated collection 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, i. e. , the possibility of handling nondeterministic branching at choice points and the presence of a system for manipulating symbolic expressions, are described. Furthermore, the main features of a programming language, around which the programming system is built, are presented.
A flexible environment for program development based on a symbolic interpreter
Asirelli P;Turini F
1979
Abstract
An interactive programming system is described which provides an integrated collection 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, i. e. , the possibility of handling nondeterministic branching at choice points and the presence of a system for manipulating symbolic expressions, are described. Furthermore, the main features of a programming language, around which the programming system is built, are presented.File | Dimensione | Formato | |
---|---|---|---|
prod_422088-doc_150012.pdf
solo utenti autorizzati
Descrizione: A flexible environment for program development based on a symbolic interpreter
Tipologia:
Versione Editoriale (PDF)
Dimensione
1.14 MB
Formato
Adobe PDF
|
1.14 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.