In this paper we present LEONARDO, an integrated environment for software visualization that allows the user to edit, compile, execute, and animate general-purpose C programs. LEONARDO relies on a logic-based approach to visualization: a mapping between concrete and abstract data structures can be declared through a logic visualization language and animations are conceived as reflecting formal properties of algorithms. LEONARDO is able to automatically detect visual events during the execution of programs and simplifies the creation of visualizations according to an incremental approach. Moreover, it guarantees the complete reversibility of computations, bounded only by the potentiality of the working machine, and appears simple to be used. The latest version of LEONARDO is currently available over the Internet at the URL http://www.dis.uniroma1.it/similar to demetres/Leonardo/. (C) 2000 Academic Press.

Reversible execution and visualization of programs with LEONARDO / Crescenzi, Pierluigi; Demetrescu, Camil; Finocchi, Irene; Petreschi, Rossella. - In: JOURNAL OF VISUAL LANGUAGES AND COMPUTING. - ISSN 1045-926X. - 11:2(2000), pp. 125-150. [10.1006/jvlc.1999.0143]

Reversible execution and visualization of programs with LEONARDO

Irene Finocchi;
2000

Abstract

In this paper we present LEONARDO, an integrated environment for software visualization that allows the user to edit, compile, execute, and animate general-purpose C programs. LEONARDO relies on a logic-based approach to visualization: a mapping between concrete and abstract data structures can be declared through a logic visualization language and animations are conceived as reflecting formal properties of algorithms. LEONARDO is able to automatically detect visual events during the execution of programs and simplifies the creation of visualizations according to an incremental approach. Moreover, it guarantees the complete reversibility of computations, bounded only by the potentiality of the working machine, and appears simple to be used. The latest version of LEONARDO is currently available over the Internet at the URL http://www.dis.uniroma1.it/similar to demetres/Leonardo/. (C) 2000 Academic Press.
Reversible execution and visualization of programs with LEONARDO / Crescenzi, Pierluigi; Demetrescu, Camil; Finocchi, Irene; Petreschi, Rossella. - In: JOURNAL OF VISUAL LANGUAGES AND COMPUTING. - ISSN 1045-926X. - 11:2(2000), pp. 125-150. [10.1006/jvlc.1999.0143]
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

Caricamento pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11385/192653
Citazioni
  • Scopus 45
  • ???jsp.display-item.citation.isi??? 32
social impact