Abstract | ||
---|---|---|
The paper describes an interactive programming system 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.
|
Year | Venue | Keywords |
---|---|---|
1979 | ICSE | conventional interpreter,choice point,symbolic interpreter,program development,programming system,programming language,flexible environment,broad range,symbolic expression,interactive programming system,integrated collection,correctness proving |
Field | DocType | ISBN |
Programming language,Nondeterministic algorithm,Computer science,Correctness,Symbolic programming,Interpreter,Concolic testing,Symbolic execution,Interactive programming,Symbolic trajectory evaluation | Conference | 978-0-89791-146-7 |
Citations | PageRank | References |
5 | 0.66 | 17 |
Authors | ||
8 |
Name | Order | Citations | PageRank |
---|---|---|---|
P. Asirelli | 1 | 32 | 12.61 |
P. Degano | 2 | 415 | 37.56 |
G. Levi | 3 | 5 | 0.66 |
A. Martèlli | 4 | 5 | 0.66 |
U. Montanari | 5 | 470 | 41.48 |
G. Pacini | 6 | 5 | 0.66 |
F. Sirovich | 7 | 11 | 1.86 |
F. Turini | 8 | 71 | 7.36 |