Semantic-Based Visualization for Parallel Object-Oriented Programming (1996)
| Venue: | IN PROCEEDINGS OF THE 11TH ANNUAL ACM CONFERENCE ON OBJECT-ORIENTED PROGRAMMING SYSTEMS, LANGUAGES AND APPLICATIONS (OOPSLA'96). ACM, NEW-YORK |
| Citations: | 11 - 6 self |
BibTeX
@INPROCEEDINGS{Attali96semantic-basedvisualization,
author = {Isabelle Attali and Denis Caromel and Sidi O. Ehmety and Sylvain Lippi},
title = {Semantic-Based Visualization for Parallel Object-Oriented Programming},
booktitle = {IN PROCEEDINGS OF THE 11TH ANNUAL ACM CONFERENCE ON OBJECT-ORIENTED PROGRAMMING SYSTEMS, LANGUAGES AND APPLICATIONS (OOPSLA'96). ACM, NEW-YORK},
year = {1996},
publisher = {ACM Press}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We present a graphical environment for parallel object-oriented programming. It provides visual tools to develop and debug object-oriented programs as well as parallel or concurrent systems. This environment was derived from a structural operational semantics of an extension of the Eiffel language, Eiffel//. Object-related features of the language (inheritance, polymorphism) are formalized using a big-step semantics, while the interleaving model of concurrency is expressed with small-step semantics. Without user instrumentation, the interactive environment proposes features such as step-by-step animated executions, graphical visualization of object and process topology, futures and pending requests, control of interleaving, deadlock detection.
