skip to main content
10.1145/1449814.1449900acmconferencesArticle/Chapter ViewAbstractPublication PagessplashConference Proceedingsconference-collections
tutorial

Validating temporal properties of interacting objects

Published: 19 October 2008 Publication History

Abstract

For a single object, many programming errors can be detected by specifying the undesirable sequence of events using typestate. However, since objects interact with one another, defining temporal specifications only for a single object is too restrictive. In our research, we are interested in extending techniques from static typestate verification to static verification of multi-object temporal specifications.

References

[1]
C. Allan, P. Avgustinov, A. Christensen, L. Hendren, S. Kuzins, O. Lhotk, O. de Moor, D. Sereni, G. Sittampalam, and a J. Tibble. Adding trace matching with free variables to AspectJ. OOPSLA, pages 345--364, 2005.
[2]
E. Bodden, L. Hendren, and O. Lhotk. A staged static program analysis to improve the performance of runtime monitoring. ECOOP, pages 525--549, 2007.
[3]
A. Deutsch. A storeless model of aliasing and its abstractions using finite representations of right-regular equivalence relations. ICCL, pages 2--13, 1992.
[4]
S. Fink, E. Yahav, N. Dor, G. Ramalingam, and E. Geay. Effective typestate verification in the presence of aliasing. ISSTA, pages 133--144, 2006.
[5]
H. Jonkers. Abstract storage structures. de Bakker and van Vliet, editors, Algorithmic Languages, pages 321--343, 1981.
[6]
N. A. Naeem and O. Lhotk. Extending typestate analysis to multiple interacting objects. Technical Report CS-2008-04, U. of Waterloo, 2008. To appear in OOPSLA'08.
[7]
T. Reps, S. Horwitz, and M. Sagiv. Precise interprocedural dataflow analysis via graph reachability. POPL, 1995.
[8]
M. Sagiv, T. Reps, and S. Horwitz. Precise interprocedural dataflow analysis with applications to constant propagation. Theoretical Computer Science, 167(1-2):131--170, 1996.
[9]
R. E. Strom and S. Yemini. Typestate: A programming language concept for enhancing software reliability. IEEE Trans. Softw. Eng., 12(1):157--171, 1986.

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
OOPSLA Companion '08: Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
October 2008
306 pages
ISBN:9781605582207
DOI:10.1145/1449814
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 19 October 2008

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. static analysis
  2. tracematches
  3. typestate

Qualifiers

  • Tutorial

Conference

OOPSLA08
Sponsor:

Upcoming Conference

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 117
    Total Downloads
  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 30 Jan 2025

Other Metrics

Citations

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media