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
Journal or Publication Title: LECTURE NOTES IN COMPUTER SCIENCE
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
Description/Info: 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:
    Subjects:
    Date Deposited: 05 Oct 2006 14:10
    Last Modified: 22 Jan 2013 03:00
    Id Number (DOI): 10.1007/3-540-48234-2_20
    Permalink: http://porto.polito.it/id/eprint/1410894
    Linksolver URL: Linksolver link
    Citations:
    This field present the citation number present on Scopus and Web of science databases e links to the reote 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.
    • The PORTO citations are extracted monthly. That in the db is in real time
    • Il numero di citazioni per WoS non tiene conto delle citazioni dei Proceedings, in quanto i dati forniti sono calcolati solo sulla base delle collezioni in abbanonamento e il Politcnico di torino non è abbonato al Proceedings Citation Index

    For informations contact porto@polito.it
    • Web of Science: 1 [link]
    • Scholar: - [link]
    +
    -
    Share with Facebook
    Share with Delicious

    Documents

    [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 View Item