Modular Typestate Checking of Aliased Objects
- Author
- BIERHOFF, Kevin1 ; ALDRICH, Jonathan1
[1] Institute for Software Research, School of Computer Science Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, PA 15213, United States - Conference title
- Proceedings of the 22nd International Conference on Object-Oriented Programming, Systems, Languages, & Applications (OOPSLA'07)
- Conference name
- OOPSLA'07 International Conference on Object-Oriented Programming, Systems, Languages, & Applications (22 ; Montréal 2007-10-21)
- Author (monograph)
- Association for Computing Machinery (ACM), Special Interest Group on Programming Languages (SIGPLAN), New York, NY, United States (Organiser of meeting)
Association for Computing Machinery (ACM), Special Interest Group on Software Engineering (SIGSOFT), New York, NY, United States (Organiser of meeting) - Source
ACM SIGPLAN notices. 2007, Vol 42, Num 10, pp 301-319, 19 p ; ref : 36 ref
- ISSN
- 1523-2867
- Scientific domain
- Computer science
- Publisher
- ACM, Broadway, NY
- Publication country
- United States
- Document type
- Conference Paper
- Language
- English
- Author keyword
- Languages Typestates Verification aliasing behavioral subtyping linear logic permissions
- Keyword (fr)
- Abstraction Analyse comportementale Annotation Dénomination Héritage Langage JAVA Langage programmation Logique linéaire Modélisation Protocole accès Soustype Théorie type
- Keyword (en)
- Abstraction Behavioral analysis Annotation Naming Inheritance JAVA language Programming language Linear logic Modeling Access protocol Subtype Type theory
- Keyword (es)
- Abstracción Análisis conductual Anotación Denominación Herencia Lenguaje JAVA Lenguaje programación Lógica lineal Modelización Protocolo acceso Subtipo
- Classification
- Pascal
- 001 Exact sciences and technology / 001D Applied sciences / 001D02 Computer science; control theory; systems / 001D02B Software / 001D02B02 Programming languages
- Discipline
- Computer science : theoretical automation and systems
- Origin
- Inist-CNRS
- Database
- PASCAL
- INIST identifier
- 19943689
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
Access to the document
Install on your browser
DOI
10.1145/1297105.1297050 
https://dx.doi.org/10.1145/1297105.1297050
"O:13:\"PanistOpenUrl\":36:{s:10:\"\u0000*\u0000openUrl\";N;s:6:\"\u0000*\u0000idc\";N;s:6:\"\u0000*\u0000fmt\";s:10:\"proceeding\";s:6:\"\u0000*\u0000doi\";s:23:\"10.1145\/1297105.1297050\";s:6:\"\u0000*\u0000pii\";s:0:\"\";s:7:\"\u0000*\u0000pmid\";s:0:\"\";s:9:\"\u0000*\u0000atitle\";s:45:\"Modular Typestate Checking of Aliased Objects\";s:9:\"\u0000*\u0000jtitle\";s:19:\"ACM SIGPLAN notices\";s:9:\"\u0000*\u0000stitle\";s:15:\"ACM SIGPLAN not\";s:7:\"\u0000*\u0000date\";s:4:\"2007\";s:9:\"\u0000*\u0000volume\";s:2:\"42\";s:8:\"\u0000*\u0000issue\";s:2:\"10\";s:8:\"\u0000*\u0000spage\";s:3:\"301\";s:8:\"\u0000*\u0000epage\";s:3:\"319\";s:8:\"\u0000*\u0000pages\";s:0:\"\";s:7:\"\u0000*\u0000issn\";s:9:\"1523-2867\";s:8:\"\u0000*\u0000eissn\";s:0:\"\";s:9:\"\u0000*\u0000aulast\";s:8:\"BIERHOFF\";s:10:\"\u0000*\u0000aufirst\";s:5:\"Kevin\";s:9:\"\u0000*\u0000auinit\";s:0:\"\";s:10:\"\u0000*\u0000auinitm\";s:0:\"\";s:5:\"\u0000*\u0000au\";a:1:{i:0;s:17:\"ALDRICH, Jonathan\";}s:9:\"\u0000*\u0000aucorp\";s:0:\"\";s:7:\"\u0000*\u0000isbn\";s:0:\"\";s:8:\"\u0000*\u0000coden\";s:0:\"\";s:8:\"\u0000*\u0000genre\";s:10:\"proceeding\";s:7:\"\u0000*\u0000part\";s:0:\"\";s:9:\"\u0000*\u0000btitle\";s:127:\"Proceedings of the 22nd International Conference on Object-Oriented Programming, Systems, Languages, & Applications (OOPSLA'07)\";s:8:\"\u0000*\u0000title\";s:45:\"Modular Typestate Checking of Aliased Objects\";s:8:\"\u0000*\u0000place\";s:12:\"Broadway, NY\";s:6:\"\u0000*\u0000pub\";s:3:\"ACM\";s:10:\"\u0000*\u0000edition\";s:0:\"\";s:9:\"\u0000*\u0000tpages\";s:2:\"19\";s:9:\"\u0000*\u0000series\";s:0:\"\";s:8:\"\u0000*\u0000proxy\";s:30:\"http:\/\/proxyout.inist.fr:8080\/\";s:12:\"\u0000*\u0000integrite\";b:1;}"
Panist access
"O:12:\"IstexOpenUrl\":35:{s:10:\"\u0000*\u0000openUrl\";N;s:6:\"\u0000*\u0000fmt\";s:10:\"proceeding\";s:6:\"\u0000*\u0000doi\";s:23:\"10.1145\/1297105.1297050\";s:6:\"\u0000*\u0000pii\";s:0:\"\";s:7:\"\u0000*\u0000pmid\";s:0:\"\";s:9:\"\u0000*\u0000atitle\";s:45:\"Modular Typestate Checking of Aliased Objects\";s:9:\"\u0000*\u0000jtitle\";s:19:\"ACM SIGPLAN notices\";s:9:\"\u0000*\u0000stitle\";s:15:\"ACM SIGPLAN not\";s:7:\"\u0000*\u0000date\";s:4:\"2007\";s:9:\"\u0000*\u0000volume\";s:2:\"42\";s:8:\"\u0000*\u0000issue\";s:2:\"10\";s:8:\"\u0000*\u0000spage\";s:3:\"301\";s:8:\"\u0000*\u0000epage\";s:3:\"319\";s:8:\"\u0000*\u0000pages\";s:0:\"\";s:7:\"\u0000*\u0000issn\";s:9:\"1523-2867\";s:8:\"\u0000*\u0000eissn\";s:0:\"\";s:9:\"\u0000*\u0000aulast\";s:8:\"BIERHOFF\";s:10:\"\u0000*\u0000aufirst\";s:5:\"Kevin\";s:9:\"\u0000*\u0000auinit\";s:0:\"\";s:10:\"\u0000*\u0000auinitm\";s:0:\"\";s:5:\"\u0000*\u0000au\";a:1:{i:0;s:17:\"ALDRICH, Jonathan\";}s:9:\"\u0000*\u0000aucorp\";s:0:\"\";s:7:\"\u0000*\u0000isbn\";s:0:\"\";s:8:\"\u0000*\u0000coden\";s:0:\"\";s:8:\"\u0000*\u0000genre\";s:10:\"proceeding\";s:7:\"\u0000*\u0000part\";s:0:\"\";s:9:\"\u0000*\u0000btitle\";s:127:\"Proceedings of the 22nd International Conference on Object-Oriented Programming, Systems, Languages, & Applications (OOPSLA'07)\";s:8:\"\u0000*\u0000title\";s:45:\"Modular Typestate Checking of Aliased Objects\";s:8:\"\u0000*\u0000place\";s:12:\"Broadway, NY\";s:6:\"\u0000*\u0000pub\";s:3:\"ACM\";s:10:\"\u0000*\u0000edition\";s:0:\"\";s:9:\"\u0000*\u0000tpages\";s:2:\"19\";s:9:\"\u0000*\u0000series\";s:0:\"\";s:8:\"\u0000*\u0000proxy\";s:30:\"http:\/\/proxyout.inist.fr:8080\/\";s:12:\"\u0000*\u0000integrite\";b:1;}"
Istex access
"O:16:\"UnpaywallOpenUrl\":35:{s:8:\"\u0000*\u0000email\";s:27:\"assistance-portail@inist.fr\";s:6:\"\u0000*\u0000fmt\";N;s:6:\"\u0000*\u0000doi\";s:23:\"10.1145\/1297105.1297050\";s:6:\"\u0000*\u0000pii\";N;s:7:\"\u0000*\u0000pmid\";N;s:9:\"\u0000*\u0000atitle\";N;s:9:\"\u0000*\u0000jtitle\";N;s:9:\"\u0000*\u0000stitle\";N;s:7:\"\u0000*\u0000date\";N;s:9:\"\u0000*\u0000volume\";N;s:8:\"\u0000*\u0000issue\";N;s:8:\"\u0000*\u0000spage\";N;s:8:\"\u0000*\u0000epage\";N;s:8:\"\u0000*\u0000pages\";N;s:7:\"\u0000*\u0000issn\";N;s:8:\"\u0000*\u0000eissn\";N;s:9:\"\u0000*\u0000aulast\";N;s:10:\"\u0000*\u0000aufirst\";N;s:9:\"\u0000*\u0000auinit\";N;s:10:\"\u0000*\u0000auinitm\";N;s:5:\"\u0000*\u0000au\";N;s:9:\"\u0000*\u0000aucorp\";N;s:7:\"\u0000*\u0000isbn\";N;s:8:\"\u0000*\u0000coden\";N;s:8:\"\u0000*\u0000genre\";N;s:7:\"\u0000*\u0000part\";N;s:9:\"\u0000*\u0000btitle\";N;s:8:\"\u0000*\u0000title\";N;s:8:\"\u0000*\u0000place\";N;s:6:\"\u0000*\u0000pub\";N;s:10:\"\u0000*\u0000edition\";N;s:9:\"\u0000*\u0000tpages\";N;s:9:\"\u0000*\u0000series\";N;s:8:\"\u0000*\u0000proxy\";s:30:\"http:\/\/proxyout.inist.fr:8080\/\";s:12:\"\u0000*\u0000integrite\";N;}"
Unpaywall access
"O:16:\"EuropePMCOpenUrl\":35:{s:10:\"\u0000*\u0000openUrl\";N;s:6:\"\u0000*\u0000fmt\";s:10:\"proceeding\";s:6:\"\u0000*\u0000doi\";s:23:\"10.1145\/1297105.1297050\";s:6:\"\u0000*\u0000pii\";s:0:\"\";s:7:\"\u0000*\u0000pmid\";s:0:\"\";s:9:\"\u0000*\u0000atitle\";s:45:\"Modular Typestate Checking of Aliased Objects\";s:9:\"\u0000*\u0000jtitle\";s:19:\"ACM SIGPLAN notices\";s:9:\"\u0000*\u0000stitle\";s:15:\"ACM SIGPLAN not\";s:7:\"\u0000*\u0000date\";s:4:\"2007\";s:9:\"\u0000*\u0000volume\";s:2:\"42\";s:8:\"\u0000*\u0000issue\";s:2:\"10\";s:8:\"\u0000*\u0000spage\";s:3:\"301\";s:8:\"\u0000*\u0000epage\";s:3:\"319\";s:8:\"\u0000*\u0000pages\";s:0:\"\";s:7:\"\u0000*\u0000issn\";s:9:\"1523-2867\";s:8:\"\u0000*\u0000eissn\";s:0:\"\";s:9:\"\u0000*\u0000aulast\";s:8:\"BIERHOFF\";s:10:\"\u0000*\u0000aufirst\";s:5:\"Kevin\";s:9:\"\u0000*\u0000auinit\";s:0:\"\";s:10:\"\u0000*\u0000auinitm\";s:0:\"\";s:5:\"\u0000*\u0000au\";a:1:{i:0;s:17:\"ALDRICH, Jonathan\";}s:9:\"\u0000*\u0000aucorp\";s:0:\"\";s:7:\"\u0000*\u0000isbn\";s:0:\"\";s:8:\"\u0000*\u0000coden\";s:0:\"\";s:8:\"\u0000*\u0000genre\";s:10:\"proceeding\";s:7:\"\u0000*\u0000part\";s:0:\"\";s:9:\"\u0000*\u0000btitle\";s:127:\"Proceedings of the 22nd International Conference on Object-Oriented Programming, Systems, Languages, & Applications (OOPSLA'07)\";s:8:\"\u0000*\u0000title\";s:45:\"Modular Typestate Checking of Aliased Objects\";s:8:\"\u0000*\u0000place\";s:12:\"Broadway, NY\";s:6:\"\u0000*\u0000pub\";s:3:\"ACM\";s:10:\"\u0000*\u0000edition\";s:0:\"\";s:9:\"\u0000*\u0000tpages\";s:2:\"19\";s:9:\"\u0000*\u0000series\";s:0:\"\";s:8:\"\u0000*\u0000proxy\";s:30:\"http:\/\/proxyout.inist.fr:8080\/\";s:12:\"\u0000*\u0000integrite\";b:1;}"
Europe PubMed Central access
"O:11:\"BaseOpenUrl\":35:{s:10:\"\u0000*\u0000openUrl\";N;s:6:\"\u0000*\u0000fmt\";s:10:\"proceeding\";s:6:\"\u0000*\u0000doi\";s:23:\"10.1145\/1297105.1297050\";s:6:\"\u0000*\u0000pii\";s:0:\"\";s:7:\"\u0000*\u0000pmid\";s:0:\"\";s:9:\"\u0000*\u0000atitle\";s:45:\"Modular Typestate Checking of Aliased Objects\";s:9:\"\u0000*\u0000jtitle\";s:19:\"ACM SIGPLAN notices\";s:9:\"\u0000*\u0000stitle\";s:15:\"ACM SIGPLAN not\";s:7:\"\u0000*\u0000date\";s:4:\"2007\";s:9:\"\u0000*\u0000volume\";s:2:\"42\";s:8:\"\u0000*\u0000issue\";s:2:\"10\";s:8:\"\u0000*\u0000spage\";s:3:\"301\";s:8:\"\u0000*\u0000epage\";s:3:\"319\";s:8:\"\u0000*\u0000pages\";s:0:\"\";s:7:\"\u0000*\u0000issn\";s:9:\"1523-2867\";s:8:\"\u0000*\u0000eissn\";s:0:\"\";s:9:\"\u0000*\u0000aulast\";s:8:\"BIERHOFF\";s:10:\"\u0000*\u0000aufirst\";s:5:\"Kevin\";s:9:\"\u0000*\u0000auinit\";s:0:\"\";s:10:\"\u0000*\u0000auinitm\";s:0:\"\";s:5:\"\u0000*\u0000au\";a:1:{i:0;s:17:\"ALDRICH, Jonathan\";}s:9:\"\u0000*\u0000aucorp\";s:0:\"\";s:7:\"\u0000*\u0000isbn\";s:0:\"\";s:8:\"\u0000*\u0000coden\";s:0:\"\";s:8:\"\u0000*\u0000genre\";s:10:\"proceeding\";s:7:\"\u0000*\u0000part\";s:0:\"\";s:9:\"\u0000*\u0000btitle\";s:127:\"Proceedings of the 22nd International Conference on Object-Oriented Programming, Systems, Languages, & Applications (OOPSLA'07)\";s:8:\"\u0000*\u0000title\";s:45:\"Modular Typestate Checking of Aliased Objects\";s:8:\"\u0000*\u0000place\";s:12:\"Broadway, NY\";s:6:\"\u0000*\u0000pub\";s:3:\"ACM\";s:10:\"\u0000*\u0000edition\";s:0:\"\";s:9:\"\u0000*\u0000tpages\";s:2:\"19\";s:9:\"\u0000*\u0000series\";s:0:\"\";s:8:\"\u0000*\u0000proxy\";s:30:\"http:\/\/proxyout.inist.fr:8080\/\";s:12:\"\u0000*\u0000integrite\";b:1;}"
Base Search access
"O:12:\"ArXivOpenUrl\":35:{s:10:\"\u0000*\u0000openUrl\";N;s:6:\"\u0000*\u0000fmt\";s:10:\"proceeding\";s:6:\"\u0000*\u0000doi\";s:23:\"10.1145\/1297105.1297050\";s:6:\"\u0000*\u0000pii\";s:0:\"\";s:7:\"\u0000*\u0000pmid\";s:0:\"\";s:9:\"\u0000*\u0000atitle\";s:45:\"Modular Typestate Checking of Aliased Objects\";s:9:\"\u0000*\u0000jtitle\";s:19:\"ACM SIGPLAN notices\";s:9:\"\u0000*\u0000stitle\";s:15:\"ACM SIGPLAN not\";s:7:\"\u0000*\u0000date\";s:4:\"2007\";s:9:\"\u0000*\u0000volume\";s:2:\"42\";s:8:\"\u0000*\u0000issue\";s:2:\"10\";s:8:\"\u0000*\u0000spage\";s:3:\"301\";s:8:\"\u0000*\u0000epage\";s:3:\"319\";s:8:\"\u0000*\u0000pages\";s:0:\"\";s:7:\"\u0000*\u0000issn\";s:9:\"1523-2867\";s:8:\"\u0000*\u0000eissn\";s:0:\"\";s:9:\"\u0000*\u0000aulast\";s:8:\"BIERHOFF\";s:10:\"\u0000*\u0000aufirst\";s:5:\"Kevin\";s:9:\"\u0000*\u0000auinit\";s:0:\"\";s:10:\"\u0000*\u0000auinitm\";s:0:\"\";s:5:\"\u0000*\u0000au\";a:1:{i:0;s:17:\"ALDRICH, Jonathan\";}s:9:\"\u0000*\u0000aucorp\";s:0:\"\";s:7:\"\u0000*\u0000isbn\";s:0:\"\";s:8:\"\u0000*\u0000coden\";s:0:\"\";s:8:\"\u0000*\u0000genre\";s:10:\"proceeding\";s:7:\"\u0000*\u0000part\";s:0:\"\";s:9:\"\u0000*\u0000btitle\";s:127:\"Proceedings of the 22nd International Conference on Object-Oriented Programming, Systems, Languages, & Applications (OOPSLA'07)\";s:8:\"\u0000*\u0000title\";s:45:\"Modular Typestate Checking of Aliased Objects\";s:8:\"\u0000*\u0000place\";s:12:\"Broadway, NY\";s:6:\"\u0000*\u0000pub\";s:3:\"ACM\";s:10:\"\u0000*\u0000edition\";s:0:\"\";s:9:\"\u0000*\u0000tpages\";s:2:\"19\";s:9:\"\u0000*\u0000series\";s:0:\"\";s:8:\"\u0000*\u0000proxy\";s:30:\"http:\/\/proxyout.inist.fr:8080\/\";s:12:\"\u0000*\u0000integrite\";b:1;}"
arXiv access
