Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 233,248,444 papers from all fields of science
Search
Sign In
Create Free Account
Typestate analysis
Typestate analysis, sometimes called protocol analysis, is a form of program analysis employed in programming languages. It is most commonly applied…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
Aliasing (computing)
Effect system
Refinement (computing)
Runtime verification
Expand
Broader (1)
Program analysis
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
A Story of Parametric Trace Slicing, Garbage and Static Analysis
Giles Reger
PrePost@iFM
2017
Corpus ID: 31535720
This paper presents a proposal (story) of how statically detecting unreachable objects (in Java) could be used to improve a…
Expand
2015
2015
Delegation vs Inheritance for Typestate Analysis
Du Li
,
A. Potanin
,
Jonathan Aldrich
2015
Corpus ID: 17492190
For several decades, inheritance and delegation have been widely adopted for code reuse in object-oriented languages. Though…
Expand
2012
2012
Enabledness-based Program Abstractions for Behaviour Validation
Guido de Caso
,
V. Braberman
,
Sebastián Uchitel
2012
Corpus ID: 268115499
Code artefacts that have non-trivial requirements with respect to the ordering in which their methods or procedures ought to be…
Expand
2011
2011
Contractor.NET: inferring typestate properties to enrich code contracts
Edgardo Zoppi
,
V. Braberman
,
Guido de Caso
,
D. Garbervetsky
,
Sebastián Uchitel
TOPI '11
2011
Corpus ID: 15741289
In this work we present Contractor.NET, a Visual Studio extension that supports the construction of contract specifications with…
Expand
2010
2010
Featherweight Typestate (CMU-ISR-10-115)
Ronald Garcia
,
Roger Wolff
,
Éric Tanter
,
Jonathan Aldrich
2010
Corpus ID: 56581517
Typestate oriented programming integrates notions of typestate directly into the semantics of an object-oriented programming…
Expand
2008
2008
Detecting Data Race and Atomicity Violation via Typestate-Guided Static Analysis
Yue Yang
,
Anna Gringauze
,
Dinghao Wu
,
H. Rohde
2008
Corpus ID: 18756769
The correctness of typestate properties in a multithreaded program often depends on the assumption of certain concurrency…
Expand
2008
2008
A Compile-Time Infrastructure for GCC Using Haskell
Peter Collingbourne
,
P. Kelly
2008
Corpus ID: 6954219
This project aims to improve the metaprogramming and verification capabilities of the GNU Compiler Collection. It consists of a…
Expand
2007
2007
Inferring Local (Non-)Aliasing and Strings for Memory Safety 1
Yannick Moy
,
C. March
2007
Corpus ID: 16377276
A guide beam and tracking system for steering a flying body toward a target in accordance with the beam rider principle, is…
Expand
2007
2007
Checking Memory Safety with Abstract Interpretation and Deductive Verification ⋆
Yannick Moy
,
C. Marché
2007
Corpus ID: 15136365
We propose an original approach for checking memory safety of C pointer programs, by combining deductive verification and…
Expand
2003
2003
Heap Monotonic Typestates (Extended Abstract)
M. Fähndrich
,
K. Leino
2003
Corpus ID: 9750799
A tool for automatically assembling electrical terminals with a box insulator comprising a piston-activated jaws assembly for…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE