Search results for "typestates"

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