Work

Semantic-based visualization for parallel object-oriented programming

Year: 1996

Type: conference-paper

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.

Source: Conference on Object-Oriented Programming Systems, Languages, and Applications

DOI: 10.1145/236337.236383

Authors: Isabelle Attali, Denis Caromel, Sidi O. Ehmety, Sylvain Lippi

Institutions: Centre National de la Recherche Scientifique, Institut national de recherche en sciences et technologies du numérique, Laboratoire d'Informatique, Signaux et Systèmes de Sophia Antipolis, Université Nice Sophia Antipolis

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W1981795852

FWCI: 0.758

Cites: 80

Cited by: 8

Related to: 10