{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:34:06Z","timestamp":1725471246412},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540357261"},{"type":"electronic","value":"9783540357278"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11785477_7","type":"book-chapter","created":{"date-parts":[[2006,9,25]],"date-time":"2006-09-25T05:04:52Z","timestamp":1159160692000},"page":"124-147","source":"Crossref","is-referenced-by-count":27,"title":["Scoped Types and Aspects for Real-Time Java"],"prefix":"10.1007","author":[{"given":"Chris","family":"Andreae","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yvonne","family":"Coady","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Celina","family":"Gibbs","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Noble","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Vitek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tian","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Andreae, C., Noble, J., Markstrum, S., Millstein, T.: A framework for implementing pluggable type systems (Submitted) (March 2006)","key":"7_CR1","DOI":"10.1145\/1167473.1167479"},{"key":"7_CR2","volume-title":"Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006)","author":"J. Baker","year":"2006","unstructured":"Baker, J., Cunei, A., Flack, C., Pizlo, F., Prochazka, M., Vitek, J., Armbuster, A., Pla, E., Holmes, D.: A real-time Java virtual machine for avionics. In: Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45449-7_21","volume-title":"Embedded Software","author":"W.S. Beebee Jr.","year":"2001","unstructured":"Beebee Jr., W.S., Rinard, M.: An Implementation of Scoped Memory for Real-Time Java. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol.\u00a02211, Springer, Heidelberg (2001)"},{"key":"7_CR4","volume-title":"The Real-Time Specification for Java","author":"G. Bollella","year":"2000","unstructured":"Bollella, G., Gosling, J., Brosgol, B., Dibble, P., Furr, S., Turnbull, M.: The Real-Time Specification for Java. Addison-Wesley, Reading (2000)"},{"doi-asserted-by":"crossref","unstructured":"Boyapati, C., Salcianu, A., Beebee, W., Rinard, M.: Ownership types for safe region-based memory management in real-time Java. In: ACM Conference on Programming Language Design and Implementation (June 2003)","key":"7_CR5","DOI":"10.1145\/781131.781168"},{"unstructured":"Bracha, G.: Pluggable type systems. In: OOPSLA 2004 Workshop on Revival of Dynamic Languages (2004)","key":"7_CR6"},{"doi-asserted-by":"crossref","unstructured":"Bracha, G., Griswold, D.: Strongtalk: Typechecking smalltalk in a production environment. In: In Proc. of the ACM Conf. on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA) (September 1993)","key":"7_CR7","DOI":"10.1145\/165854.165893"},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1145\/113445.113469","volume-title":"Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation","author":"R. Cartwright","year":"1991","unstructured":"Cartwright, R., Fagan, M.: Soft typing. In: Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation, pp. 278\u2013292. ACM Press, New York (1991)"},{"doi-asserted-by":"crossref","unstructured":"Clarke, D., Richmond, M., Noble, J.: Saving the world from bad Beans: Deployment-time confinement checking. In: Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Appplications (OOPSLA), Anaheim, CA (November 2003)","key":"7_CR9","DOI":"10.1145\/949305.949339"},{"key":"7_CR10","series-title":"ACM SIGPLAN Notices","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1145\/286936.286947","volume-title":"OOPSLA 1998 Conference Proceedings","author":"D.G. Clarke","year":"1998","unstructured":"Clarke, D.G., Potter, J.M., Noble, J.: Ownership types for flexible alias protection. In: OOPSLA 1998 Conference Proceedings. ACM SIGPLAN Notices, vol.\u00a033(10), pp. 48\u201364. ACM Press, New York (1998)"},{"doi-asserted-by":"crossref","unstructured":"Grossman, D., Morrisett, G., Jim, T., Hicks, M., Wang, Y., Cheney, J.: Region-based memory management in Cyclone. In: Proceedings of Conference on Programming Languages Design and Implementation, June 2002, pp. 282\u2013293 (2002)","key":"7_CR11","DOI":"10.1145\/512529.512563"},{"unstructured":"HIJA. European High Integrity Java Project (2006), http:\/\/www.hija.info","key":"7_CR12"},{"doi-asserted-by":"crossref","unstructured":"Hogg, J.: Islands: Aliasing Protection in Object-Oriented Languages. In: Proceedings of the OOPSLA 1991 Conference on Object-Oriented Programming Systems, Languages and Applications (1991)","key":"7_CR13","DOI":"10.1145\/117954.117975"},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/3-540-45337-7_18","volume-title":"ECOOP 2001 - Object-Oriented Programming","author":"G. Kiczales","year":"2001","unstructured":"Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An Overview of AspectJ. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, pp. 327\u2013355. Springer, Heidelberg (2001)"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/978-3-540-30470-8_49","volume-title":"On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops","author":"J. Kwon","year":"2004","unstructured":"Kwon, J., Wellings, A.: Memory Management Based on Method Invocation in RTSJ. In: Meersman, R., Tari, Z., Corsaro, A. (eds.) OTM-WS 2004. LNCS, vol.\u00a03292, pp. 333\u2013345. Springer, Heidelberg (2004)"},{"doi-asserted-by":"crossref","unstructured":"Kwon, J., Wellings, A., King, S.: Ravenscar-Java: A high integrity profile for real-time Java. In: Joint ACM Java Grande\/ISCOPE Conference (November 2002)","key":"7_CR16","DOI":"10.1145\/583810.583825"},{"unstructured":"NASA\/JPL and Sun. Golden gate (2003), http:\/\/research.sun.com\/projects\/goldengate","key":"7_CR17"},{"key":"7_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0054091","volume-title":"ECOOP 1998 - Object-Oriented Programming","author":"J. Noble","year":"1998","unstructured":"Noble, J., Potter, J., Vitek, J.: Flexible Alias Protection. In: Jul, E. (ed.) ECOOP 1998. LNCS, vol.\u00a01445, Springer, Heidelberg (1998)"},{"doi-asserted-by":"crossref","unstructured":"Pizlo, F., Fox, J., Holmes, D., Vitek, J.: Real-time java scoped memory: design patterns and semantics. In: Proceedings of the IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (May 2004)","key":"7_CR19","DOI":"10.1109\/ISORC.2004.1300335"},{"doi-asserted-by":"crossref","unstructured":"Sharp, D.: Real-time distributed object computing: Ready for mission-critical embedded system applications. In: Proceeding of the Third International Symposium on Distribtued-Objects and Applications (2001)","key":"7_CR20","DOI":"10.1109\/DOA.2001.954064"},{"key":"7_CR21","volume-title":"International Real-Time Systems Symposium (RTSS 2004)","author":"T. Zhao","year":"2004","unstructured":"Zhao, T., Noble, J., Vitek, J.: Scoped Types for Realtime Java. In: International Real-Time Systems Symposium (RTSS 2004), Lisbon, Portugal, IEEE, Los Alamitos (2004)"},{"doi-asserted-by":"crossref","unstructured":"Zhao, T., Palsberg, J., Vitek, J.: Type-based confinement. Journal of Functional Programming\u00a016(1) (January 2006)","key":"7_CR22","DOI":"10.1017\/S0956796805005691"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2006 \u2013 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11785477_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:09:34Z","timestamp":1605625774000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11785477_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540357261","9783540357278"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/11785477_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}