Typestate analysis

Typestate analysis, sometimes called protocol analysis, is a form of program analysis employed in programming languages. It is most commonly applied… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Typestate reflects how the legal operations on imperative objects can change at runtime as their internal state changes. A… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 13
Is this relevant?
2011
2011
Concurrency bugs are becoming increasingly prevalent in the multi-core era. Recently, much research has focused on data races and… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 2
Is this relevant?
2011
2011
In this work we present Contractor.NET, a Visual Studio extension that supports the construction of contract specifications with… (More)
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • figure 5
Is this relevant?
2010
2010
A typestate property describes which operations are available on an object or a group of inter-related objects, depending on this… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2010
Highly Cited
2010
  • Eric Bodden
  • ACM/IEEE 32nd International Conference on…
  • 2010
Typestate analysis determines whether a program violates a set of finite-state properties. Because the typestate-analysis problem… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2009
Highly Cited
2009
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason… (More)
  • figure 1
  • figure 2
Is this relevant?
2008
2008
This paper extends static typestate analysis to temporal specifications of groups of interacting objects, which are expressed… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 7
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Objects often define usage protocols that clients must follow inorder for these objects to work properly. Aliasing makes… (More)
  • figure 1
  • figure 2
  • figure 6
  • figure 9
  • figure 12
Is this relevant?
2007
2007
Programmers using complex libraries and frameworks are faced with the difficult task of ensuring that their implementations… (More)
  • figure 1
  • figure 4
  • figure 2
  • figure 8
  • figure 6
Is this relevant?
2005
2005
We present an analysis to verify abstract set specifications f r programs that use object field values to determine the membershi… (More)
  • figure 2
  • table 1
  • table 2
Is this relevant?