dSPIN: A Dynamic Extension of SPIN

Item Type: Proceeding
MIUR type: Proceedings > Proceedings
Title: dSPIN: A Dynamic Extension of SPIN
Authors string: Demartini C.G.; R. Iosif; R. Sisto
University authors:
Page Range: pp. 261-276
Referee type: Not specified type
Publisher: Springer
ISBN: 3540482342
ISSN: 0302-9743
Volume: 1680
Event Title: 5th and 6th International SPIN Workshops
Event Location: Trento (ITA). Toulouse (FRA)
Event Dates: July 5, 1999. September 21 and 24, 1999
Abstract: The SPIN extension presented in this article is meant as a way to facilitate the modeling and verification of object-oriented programs. It provides means for the formal representation of some run-time mechanisms intensively used in OO software, such as dynamic object creation and deletion, virtual function calls, etc. This article presents a number of language extensions along with their implementation in SPIN. We carried out a number of experiments and found out that an important expressibility gain can be achieved with at most a small loss of performance
Date: 1999
Status: Published
Language of publication:
Uncontrolled Keywords:
Departments (original): UNSPECIFIED
Departments: DAUIN - Department of Control and Computer Engineering
Related URLs:
    Date Deposited: 05 Oct 2006 14:31
    Last modification data (IRIS): 15 Oct 2013 11:54:53
    Update date (PORTO): 24 Oct 2014 06:23
    Id Number (DOI): 10.1007/3-540-48234-2_20
    Permalink: http://porto.polito.it/id/eprint/1410894
    Link resolver URL: Linksolver link

    This field presents the citations number present on Scopus and Web of Science databases e links to the remote records. Also Google Scholar link is present.

    There may be discrepancies with respect to the data in databases for the following reasons:

    • Differences from fields (title, year,...) in UGOV and those in the databases.
    • PORTO citations are extracted monthly. The db is in real time
    • The WoS citation number reflect the collections subscribed by Politecnico (Science citation index Expanded and Conference Proceedings Citation Index)

    For informations contact scrivia/porto



    [img] PDF (1410894) - Postprint
    Document access: Not visible (accessible only to the record owner)
    Licence: Not public - Private access / Restricted.

    Download (209Kb) | Send a request to the author for a copy of the paper

    Actions (login required)

    View item (admin reserved) View item (admin reserved)