|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 28 occurrences of 20 keywords
|
|
|
Results
Found 20 publication records. Showing 20 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
124 | Robert DeLine, Manuel Fähndrich |
Typestates for Objects. |
ECOOP |
2004 |
DBLP DOI BibTeX RDF |
|
108 | Vugranam C. Sreedhar |
Data-centric security: role analysis and role typestates. |
SACMAT |
2006 |
DBLP DOI BibTeX RDF |
role analysis, role escape analysis, role typestates, RBAC |
78 | Mangala Gowri Nanda, Christian Grothoff, Satish Chandra 0001 |
Deriving object typestates in the presence of inter-object references. |
OOPSLA |
2005 |
DBLP DOI BibTeX RDF |
Java, predicate abstraction, alias analysis, interface specification, heap analysis |
69 | Patrick Lam 0001, Viktor Kuncak, Martin C. Rinard |
Generalized typestate checking using set interfaces and pluggable analyses. |
ACM SIGPLAN Notices |
2004 |
DBLP DOI BibTeX RDF |
|
55 | Kevin Bierhoff, Jonathan Aldrich |
Lightweight object specification with typestates. |
ESEC/SIGSOFT FSE |
2005 |
DBLP DOI BibTeX RDF |
union and intersection types, refinement, substitutability, typestate, behavioral subtyping |
54 | Simon J. Gay, Vasco Thudichum Vasconcelos, António Ravara, Nils Gesbert, Alexandre Z. Caldeira |
Modular session types for distributed object-oriented programming. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
non-uniform method availability, object-oriented calculus, typestates, session types |
54 | Kevin Bierhoff, Jonathan Aldrich |
Modular typestate checking of aliased objects. |
OOPSLA |
2007 |
DBLP DOI BibTeX RDF |
linear logic, aliasing, permissions, typestates, behavioral subtyping |
46 | Kevin Bierhoff, Jonathan Aldrich |
PLURAL: checking protocol compliance under aliasing. |
ICSE Companion |
2008 |
DBLP DOI BibTeX RDF |
annotations, aliasing, permissions, typestate |
32 | José Duarte, António Ravara |
Taming stateful computations in Rust with typestates. |
J. Comput. Lang. |
2022 |
DBLP DOI BibTeX RDF |
|
32 | José Duarte, António Ravara |
Retrofitting Typestates into Rust. |
SBLP |
2021 |
DBLP DOI BibTeX RDF |
|
32 | André Trindade, João Mota, António Ravara |
Typestates to Automata and back: a tool. |
ICE |
2020 |
DBLP DOI BibTeX RDF |
|
32 | Arjun Radhakrishna, Nicholas V. Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Cerný |
DroidStar: callback typestates for Android classes. |
ICSE |
2018 |
DBLP DOI BibTeX RDF |
|
32 | Arjun Radhakrishna, Nicholas V. Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Cerný |
Learning Asynchronous Typestates for Android Classes. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
32 | Ashish Mishra, Deepak D'Souza, Y. N. Srikant |
Presburger-Definable Parameterized Typestates. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
32 | Filipe Militão, Jonathan Aldrich, Luís Caires |
Substructural typestates. |
PLPV |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Hao Xiao, Jun Sun 0001, Yang Liu 0003, Shang-Wei Lin 0001, Chengnian Sun |
TzuYu: Learning stateful typestates. |
ASE |
2013 |
DBLP DOI BibTeX RDF |
|
32 | Radu I. Siminiceanu, Ijaz Ahmed, Néstor Cataño |
Automated Verification of Specifications with Typestates and Access Permissions. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2012 |
DBLP DOI BibTeX RDF |
|
32 | Ijaz Ahmed |
On the formal verification of specifications based on typestates with access permissions |
|
2012 |
RDF |
|
32 | Kevin Bierhoff |
Iterator specification with typestates. |
SAVCBS@FSE |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Jonathan Aldrich, Joshua Sunshine, Darpan Saini, Zachary Sparks |
Typestate-oriented programming. |
OOPSLA Companion |
2009 |
DBLP DOI BibTeX RDF |
programming language, objects, types, states, permissions, typestate, paradigms |
Displaying result #1 - #20 of 20 (100 per page; Change: )
|
|